| 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 |
| Pagination | 1506-1510 |
| Date Published | December |
| Publisher | IEEE Press |
| Conference Location | San Francisco |
| ISBN Number | 0-7803-7974-8 |
| 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. |
| Citation Key | javierlopez2003 |
Paper File:
https://nics.uma.es:8082/sites/default/files/papers/javierlopez2003.pdf
