n South African Computer Journal - A graphical environment for the facilitation of logic-based security protocol analysis
|Article Title||A graphical environment for the facilitation of logic-based security protocol analysis|
|© Publisher:||South African Computer Society (SAICSIT)|
|Journal||South African Computer Journal|
|Author||E. Saul and A.C.M. Hutchison|
|Publication Date||Nov 2000|
|Pages||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.
Article metrics loading...