UCT CS Research Document Archive

Automated Attack Analysis and Code Generation in a Multi-Dimensional Security Protocol Engineering Framework

Lukell, Simon and Andrew Hutchison (2003) Automated Attack Analysis and Code Generation in a Multi-Dimensional Security Protocol Engineering Framework. In Proceedings Southern African Telecommunications Networks and Applications Conference 2003., George , South Africa.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.

Abstract

A unified, multi-dimensional approach to security protocol engineering is effective for creating cryptographic protocols since it encompasses a variety of design, analysis and implementation techniques, thereby providing a higher level of confidence than individual approaches. SPEAR II, the Security Protocol Engineering and Analysis Resource II is a tool which supports this unified, multi-dimensional approach by offering protocol designers an environment in which to graphically design and analyse security protocols. The premise of this paper is that providing a means of analysing security protocols for attack vulnerabilities that are not detected by static methods, and allowing for the translation of an abstract protocol specification into a correct and secure protocol implementation in the context of a multi-dimensional tool such as SPEAR II, will assist in producing more secure security protocols.

EPrint Type:Conference Paper
Subjects:UNSPECIFIED
ID Code:119
Deposited By:Arnab, A
Deposited On:06 May 2004
Alternative Locations:http://www.cs.uct.ac.za/Research/DNA/resources/publications_repository/lukell2003_AutomatedAttackAnalysisCodeGen.pdf