On unifying some cryptographic protocol logics.

Paul F. Syverson Paul C. van Oorschot

Published in: IEEE Symposium on Security and Privacy (1994)

Keyphrases

cryptographic protocols
expressive power
standard model
modal logic
security properties
security protocols
inference rules
classical logic
database systems
formal verification