Searching for Shapes in Cryptographic Protocols.

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

Published in: TACAS (2007)

Keyphrases

cryptographic protocols
security properties
authentication protocol
shape analysis
standard model
database
shape descriptors
security protocols
real time
information systems
private information retrieval
quality of service
shape model
locally decodable codes