n South African Computer Journal - A graphical environment for the facilitation of logic-based security protocol analysis

Volume 2000, Issue 26
  • ISSN : 1015-7999
  • E-ISSN: 2313-7835



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.

Loading full text...

Full text loading...


Article metrics loading...


This is a required field
Please enter a valid email address
Approval was a Success
Invalid data
An Error Occurred
Approval was partially successful, following selected items could not be processed due to error