UCT CS Research Document Archive

A Graphical Environment for the Facilitation of Logic-Based
Security Protocol Analysis

Saul, Elton and Andrew Hutchison (2000) A Graphical Environment for the Facilitation of Logic-Based
Security Protocol Analysis. South African Computer Journal(26):196-200.

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

Abstract

The development of cryptographic logics to analyze security protocols has provided one technique for ensuring the correctness of security protocols. However, it is commonly acknowledged that analysis using a modal logic such as GNY tends to be inaccessible and obscure for the uninitiated. In this paper we describe a graphical tree-based specification environment which can be used to easily construct GNY statements using contextualized pop-up menus. The interface which we describe helps to move logic-based analysis out of the world of academia and into the mainstream market.

EPrint Type:Journal (Paginated)
Subjects:UNSPECIFIED
ID Code:127
Deposited By:Arnab, A
Deposited On:06 May 2004
Alternative Locations:http://www.cs.uct.ac.za/Research/DNA/resources/publications_repository/saul2000_SPEAR_saicsit.pdf