SPEAR II - The Security Protocol Engineering and Analysis Resource

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

PDF saul1999_SPEAR_SATNAC.pdf Download (50kB)

Abstract

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.

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

Actions (login required)

View Item