Formal Verification of Cryptographic Protocols: A Survey.

Catherine A. Meadows

Published in: ASIACRYPT (1994)

Keyphrases

formal verification
cryptographic protocols
model checking
bounded model checking
security properties
model checker
symbolic model checking
automated verification
temporal logic
encryption decryption
database
similarity measure
information security
ad hoc networks
program slicing