Login / Signup
Automated Verification of Equivalence Properties of Cryptographic Protocols.
Rohit Chadha
Stefan Ciobaca
Steve 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