Title :
High-level specification of security systems
Author :
López, Javier ; Ortega, Juan J. ; Troya, José M. ; Vivas, José
Author_Institution :
Comput. Sci. Dept., Malaga Univ., Spain
Abstract :
In order to study the security systems, we have developed a methodology for the application to the analysis of cryptographic protocols of the formal analysis techniques commonly used in communication protocols. In particular, we have extended the design and analysis phases with security properties. Our proposal uses a specification notation based on HMSC/MSC, which can be automatically translated into a generic SDL specification.
Keywords :
cryptography; formal specification; protocols; specification languages; telecommunication security; communication protocol; cryptographic protocol; generic SDL specification language; high-level specification; message sequence chart; security property; security system; specification design; Access protocols; Authentication; Communication system security; Computer science; Cryptographic protocols; Cryptography; Data security; Information security; Performance analysis; Power system security;
Conference_Titel :
Global Telecommunications Conference, 2003. GLOBECOM '03. IEEE
Print_ISBN :
0-7803-7974-8
DOI :
10.1109/GLOCOM.2003.1258489
