An Environment to Facilitate the Teaching of GNY-Based Security Protocol Analysis Techniques

Saul, Elton and Hutchison, Andrew (2001) An Environment to Facilitate the Teaching of GNY-Based Security Protocol Analysis Techniques, Proceedings of Second World Conference in Information Security Education, July 2001, Edith Cowen University, Perth, Western Australia.

[img] PDF

Download (551kB)


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 operates in conjunction with a Prolog-based GNY analyzer. This environment can be used to easily construct GNY statements using dynamically-constructed contextualized pop-up menus. We will show how this environment helps to distance students and protocol engineers from the syntactical element of GNY analysis, allowing them to focus more on the associated semantics and distil the critical issues that arise during protocol analysis. By freeing individuals to focus on an analysis, instead of hampering them with the necessary syntax, we can ensure that the fundamental concepts and advantages related to GNY analysis are kept in mind and applied as well.

Item Type: Conference paper
Uncontrolled Keywords: Security protocol analysis, GNY logic, cryptographic protocols, security education and practice
Alternate Locations:
Date Deposited: 06 May 2004
Last Modified: 10 Oct 2019 15:36

Actions (login required)

View Item View Item