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