Login / Signup

Proof Techniques for Cryptographic Protocols.

Kevin J. ComptonScott D. Dexter
Published in: ICALP (1999)
Keyphrases
  • cryptographic protocols
  • security protocols
  • security properties
  • standard model
  • authentication protocol
  • encryption decryption
  • real time
  • web services
  • theorem prover
  • locally decodable codes