DocumentCode
401165
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
Volume
3
fYear
2003
fDate
1-5 Dec. 2003
Firstpage
1506
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Global Telecommunications Conference, 2003. GLOBECOM '03. IEEE
Print_ISBN
0-7803-7974-8
Type
conf
DOI
10.1109/GLOCOM.2003.1258489
Filename
1258489
Link To Document