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]](http://pubs.cs.uct.ac.za/style/images/fileicons/application_pdf.png) |
PDF
saul2000_SPEAR_beijing.pdf Download (152kB) |
Abstract
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 |