Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography.

Published in: J. Log. Algebraic Methods Program. (2008)

Keyphrases

cryptographic protocols
petri net
standard model
security properties
insider attacks
security protocols
modal logic
user satisfaction
logic programming
information security
customer satisfaction
authentication protocol