A Decision Procedure for Structured Cryptographic Protocols.

François Gagnon Mohamed Mejri

Published in: SoMeT (2006)

Keyphrases

cryptographic protocols
decision making
standard model
authentication protocol
security properties
decision makers
information systems
formal verification
encryption decryption