CVS at Work: A Report on New Failures upon Some Cryptographic Protocols.

Antonio Durante Riccardo Focardi Roberto Gorrieri

Published in: MMM-ACNS (2001)

Keyphrases

cryptographic protocols
standard model
security properties
security protocols
authentication protocol
bug reports
real time
database
information systems
locally decodable codes