Verification and Modelling of Authentication Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralf C. Hauser, E. Stewart Lee. Verification and Modelling of Authentication Protocols. In Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater, editors, Computer Security - ESORICS 92, Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992, Proceedings. Volume 648 of Lecture Notes in Computer Science, pages 141-154, Springer, 1992. [doi]

This author has not been identified. Look up 'Ralf C. Hauser' in GoogleThis author has not been identified. Look up 'E. Stewart Lee' in Google

runs on WebDSL