Richard Berger, Sampath Kannan, René Peralta. A Framework for the Study of Cryptographic Protocols. In Hugh C. Williams, editor, Advances in Cryptology - CRYPTO 85, Santa Barbara, California, USA, August 18-22, 1985, Proceedings. Volume 218 of Lecture Notes in Computer Science, pages 87-103, Springer, 1985. [doi]
Abstract is missing.