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.
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|
|Deposited By:||Arnab, A|
|Deposited On:||06 May 2004|