Searching for Shapes in Cryptographic Protocols (extended version)? Shaddin F. Doghmi, Joshua D. Guttman, and F. Javier Thayer The MITRE Corporation Abstract. We describe a method for enumerating all essentially differe

First Page		Document Content
Date: 2007-02-02 08:32:07 Otway–Rees protocol Sense Biology Needham–Schroeder protocol Homomorphism		Searching for Shapes in Cryptographic Protocols (extended version)? Shaddin F. Doghmi, Joshua D. Guttman, and F. Javier Thayer The MITRE Corporation Abstract. We describe a method for enumerating all essentially differe Add to Reading List Source URL: eprint.iacr.org Download Document from Source Website File Size: 359,07 KB Share Document on Facebook