Searching for Shapes in Cryptographic Protocols (extended version).

Shaddin F. Doghmi Joshua D. Guttman F. Javier Thayer

Published in: IACR Cryptol. ePrint Arch. (2006)

Keyphrases

cryptographic protocols
security properties
shape model
standard model
shape analysis
database
information systems