Javier Lopez, Juan J. Ortega, José M. Troya. Protocol Engineering Applied to Formal Analysis of Security Systems. In George I. Davida, Yair Frankel, Owen Rees, editors, Infrastructure Security, International Conference, InfraSec 2002 Bristol, UK, October 1-3, 2002, Proceedings. Volume 2437 of Lecture Notes in Computer Science, pages 246-259, Springer, 2002. [doi]
@inproceedings{LopezOT02:0,
title = {Protocol Engineering Applied to Formal Analysis of Security Systems},
author = {Javier Lopez and Juan J. Ortega and José M. Troya},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2437/24370246.htm},
tags = {protocol, analysis, security},
researchr = {https://researchr.org/publication/LopezOT02%3A0},
cites = {0},
citedby = {0},
pages = {246-259},
booktitle = {Infrastructure Security, International Conference, InfraSec 2002 Bristol, UK, October 1-3, 2002, Proceedings},
editor = {George I. Davida and Yair Frankel and Owen Rees},
volume = {2437},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-44309-6},
}