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]
Abstract is missing.