Carsten Rudolph. A Formal Model for Systematic Design of Key Establishment Protocols. In Colin Boyd, Ed Dawson, editors, Information Security and Privacy, Third Australasian Conference, ACISP 98, Brisbane, Queensland, Australia, July 1998, Proceedings. Volume 1438 of Lecture Notes in Computer Science, pages 332-343, Springer, 1998. [doi]