High-level Specification of Security Systems

TitleHigh-level Specification of Security Systems
Publication TypeConference Paper
Year of Publication2003
AuthorsJ. Lopez, J. J. Ortega, J. M. Troya, and J. L. Vivas
Conference NameIEEE Globecom 2003 - Communications Security Track
Date PublishedDecember
PublisherIEEE Press
Conference LocationSan Francisco
ISBN Number0-7803-7974-8

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.

Citation Keyjavierlopez2003
Paper File: