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