Saul, Elton and Hutchison, Andrew (2000) A Graphical Environment for the Facilitation of Logic-Based Security Protocol Analysis, South African Computer Journal, 196-200.
![[img]](http://pubs.cs.uct.ac.za/style/images/fileicons/application_pdf.png) |
PDF
saul2000_SPEAR_saicsit.pdf Download (52kB) |
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.
| Item Type: | Journal article (paginated) |
|---|---|
| Alternate Locations: | http://www.cs.uct.ac.za/Research/DNA/resources/publications_repository/saul2000_SPEAR_saicsit.pdf |
| Date Deposited: | 06 May 2004 |
| Last Modified: | 10 Oct 2019 15:36 |
| URI: | http://pubs.cs.uct.ac.za/id/eprint/127 |
Actions (login required)
 |
View Item |