Andre Scedrov, Ran Canetti, Joshua D. Guttman, David Wagner, Michael Waidner. Relating Cryptography and Cryptographic Protocols. In 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 11-13 June 2001, Cape Breton, Nova Scotia, Canada. pages 111-114, IEEE Computer Society, 2001. [doi]
Abstract is missing.