Analyzing Encryption Protocols Using Formal Verification Techniques.

Richard A. Kemmerer

Published in: EUROCRYPT (1986)

Keyphrases

formal verification
cryptographic protocols
model checking
security properties
key exchange
bounded model checking
model checker
automated verification
symbolic model checking
temporal logic
encryption algorithms
artificial intelligence
knowledge base
program slicing
functional verification