UCT CS Research Document Archive

SPEAR II - The Security Protocol Engineering and Analysis Resource

Saul, Elton and Andrew Hutchison (1999) SPEAR II - The Security Protocol Engineering and Analysis Resource. In Proceedings 2nd South African Telecommunications, Networks and Applications Conference (SATNAC'99), Durban , South Africa.

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


Multi-dimensional security protocol engineering is effective in creating cryptographic protocols since it encompasses a variety of analysis techniques, thereby providing a higher security confidence than individual approaches. SPEAR, the Security Protocol Engineering and Analysis Resource, was a protocol engineering tool which focused on cryptographic protocols, with the specific aims of enabling secure and efficient protocol designs and support for the production process of implementing security protocols. The SPEAR II tool is a continuation of the highly successful SPEAR project and aims to build on the foundation laid by SPEAR. SPEAR II provides more advanced multidimensional support than SPEAR, enabling protocol specification via a graphical user interface, automated security analysis that applies a number of well-known analysis methods, performance reporting and evaluation, meta-execution and automated code generation.

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