A logical language for specifying cryptographic protocol requirements.

Paul Syverson Catherine A. Meadows

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

Keyphrases

logical language
cryptographic protocols
formal semantics
situation calculus
databases
machine learning
authentication protocol