Login / Signup

Automated Verification of Equivalence Properties of Cryptographic Protocols.

Rohit ChadhaStefan CiobacaSteve Kremer
Published in: ESOP (2012)
Keyphrases
  • cryptographic protocols
  • automated verification
  • formal verification
  • security properties
  • model checking
  • automated reasoning
  • standard model
  • database
  • knowledge base
  • similarity measure