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

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

PDF lukell2003_AutomatedAttackAnalysisCodeGen.pdf Download (83kB)

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.

Item Type:	Conference paper
Alternate Locations:	http://www.cs.uct.ac.za/Research/DNA/resources/publications_repository/lukell2003_AutomatedAttackAnalysisCodeGen.pdf
Date Deposited:	06 May 2004
Last Modified:	10 Oct 2019 15:36
URI:	http://pubs.cs.uct.ac.za/id/eprint/119

Actions (login required)

View Item