Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy.

Hanane Houmani Mohamed Mejri

Published in: SECRYPT (2008)

Keyphrases

cryptographic protocols
security properties
standard model
authentication protocol
query processing
security protocols
locally decodable codes
database systems
security analysis