A Generic Graphical Specification Environment for Security Protocol Modelling

Saul, Elton and Hutchison, Andrew (2000) A Generic Graphical Specification Environment for Security Protocol Modelling, Proceedings of Sixth Annual Working Conference on Information Security, August 2000, Beijing, China, Kluwer Academic Publishers..

[img] PDF

Download (152kB)


Designing and implementing security protocols is a diÆcult task. A graphical specification environment helps one to cope with this complexity by enabling the visualization of hierarchical message structure and providing suitable abstraction and encapsulation so that designers can retain a high-level perspective while also being free to hone in on the details of the design. The graphical interface framework described in this paper isolates the critical issues in a protocol design and presents the user with an appropriate level of detail. This is accomplished through the use of a high-level view of the message ow and a more detailed component view that shows the structure of each protocol message. Each view can be easily manipulated by using standard graphical interface mechanisms such as drag-and-drop and context specific pop-up menus. An added advantage of this interface is that it is possible to connect to analysis or code generation routines via a GGSE-API.

Item Type: Conference paper
Uncontrolled Keywords: Security Modelling, protocol engineering, CASE tools
Alternate Locations: http://www.cs.uct.ac.za/Research/DNA/resources/publications_repository/saul2000_SPEAR_beijing.pdf
Date Deposited: 06 May 2004
Last Modified: 10 Oct 2019 15:36
URI: http://pubs.cs.uct.ac.za/id/eprint/124

Actions (login required)

View Item View Item