A symbolic decision procedure for cryptographic protocols with time stamps.

Liana Bozga Cristian Ene Yassine Lakhnech

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

Keyphrases

cryptographic protocols
decision making
standard model
decision makers
security protocols
security properties
information systems
symbolic representation
authentication protocol
web services
response time