| Document Date: 2007-02-02 08:32:07
Open Document File Size: 359,07 KBShare Result on Facebook
Company MITRE Corporation / Needham / / / Event Product Issues / / IndustryTerm type-and-effect systems / cryptographic protocols / authentication test search / software implementation / cryptographic protocol / search algorithm / cpsa search method / arbitrary protocol / / Organization National Security Agency / / Person Joshua D. Guttman / F. Javier Thayer / Shaddin F. Doghmi / / Product Yahalom / protocol / / ProgrammingLanguage K / / Technology encryption / flawed protocol / 2007 5 Some protocols / private key / 3.3 Protocols / Naturally occurring protocols / arbitrary protocol / public key / search algorithm / Yahalom protocol / cryptographic protocol / /
SocialTag |
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