    @inproceedings {javierlopez2003,
	title = {High-level Specification of Security Systems},
	booktitle = {IEEE Globecom 2003 - Communications Security Track},
	year = {2003},
	month = {December},
	pages = {1506-1510},
	publisher = {IEEE Press},
	organization = {IEEE Press},
	address = {San Francisco},
	abstract = {<p>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.</p>},
	isbn = {0-7803-7974-8},
	author = {Javier Lopez and Juan J. Ortega and Jose M. Troya and Jose L. Vivas}
}
