|Title||High-level Specification of Security Systems|
|Publication Type||Conference Paper|
|Year of Publication||2003|
|Authors||J. Lopez, J. J. Ortega, J. M. Troya, and J. L. Vivas|
|Conference Name||IEEE Globecom 2003 - Communications Security Track|
|Conference Location||San Francisco|
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.
High-level Specification of Security Systems