Colin Boyd, Wenbo Mao. Designing Secure Key Exchange Protocols. In Dieter Gollmann, editor, Computer Security - ESORICS 94, Third European Symposium on Research in Computer Security, Brighton, UK, November 7-9, 1994, Proceedings. Volume 875 of Lecture Notes in Computer Science, pages 93-105, Springer, 1994. [doi]
Abstract is missing.