Secrecy of cryptographic protocols under equational theory.

Hanane Houmani Mohamed Mejri Hamido Fujita

Published in: Knowl. Based Syst. (2009)

Keyphrases

cryptographic protocols
security properties
equational theories
theorem proving
locally decodable codes
private information retrieval schemes
response time
standard model