Protocol Engineering Applied to Formal Analysis of Security Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Javier Lopez' in GoogleThis author has not been identified. Look up 'Juan J. Ortega' in GoogleThis author has not been identified. Look up 'José M. Troya' in Google

runs on WebDSL