Abstract
Designing and implementing security protocols is a difficult task. A graphical specification environment helps one to cope with this complexity by enabling the visualization of hierarchical message structures 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 flow 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.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35515-3_53
Chapter PDF
Similar content being viewed by others
References
M. Abadi and R. Needham. Prudent Engineering Practice for Cryptographic Protocols. IEEE Transactions on Software Engineering, 22(1):6 — 15, January 1996.
R. Anderson and R. Needham. Programming Satan’s Computer. In Computer Science Today, volume 100, pages 426–441. Springer-Verlag, 1995.
J.P. Beckmann, P. De Goede, and A.C.M. Hutchison. SPEAR: Security Protocol Engineering and Analysis Resources. In DIMACS Workshop on Design and Formal Verification of Security Protocols. Rutgers University, September 1997.
S. Brackin, C. Meadows, and J. Millen. CAPSL Interface for the NRL Protocol Analyzer. In IEEE Symposium on Application-Specific Systems and Software Engineering Technology ‘89, Dallas, March 1999.
E. Saul and A.C.M. Hutchison. SPEAR II: The Security Protocol Engineering and Analysis Resource. In Second Annual South African Telecommunications, Networks and Applications Conference, pages 171 — 177, Durban, South Africa, September 1999.
International Telecommunication Union, Geneva. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC), 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this paper
Cite this paper
Saul, E., Hutchison, A. (2000). A Generic Graphical Specification Environment for Security Protocol Modelling. In: Qing, S., Eloff, J.H.P. (eds) Information Security for Global Information Infrastructures. SEC 2000. IFIP — The International Federation for Information Processing, vol 47. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35515-3_32
Download citation
DOI: https://doi.org/10.1007/978-0-387-35515-3_32
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5479-7
Online ISBN: 978-0-387-35515-3
eBook Packages: Springer Book Archive