Login / Signup

TAPS: A First-Order Verifier for Cryptographic Protocols.

Ernie Cohen
Published in: CSFW (2000)
Keyphrases
  • cryptographic protocols
  • first order logic
  • standard model
  • security properties
  • authentication protocol
  • real time
  • security protocols
  • formal verification
  • frequency response
  • locally decodable codes