Automatic Approximation for the Verification of Cryptographic Protocols.

Frédéric Oehl Gérard Cécé Olga Kouchnarenko David Sinclair

Published in: FASec (2002)

Keyphrases

cryptographic protocols
standard model
security protocols
authentication protocol
security properties
high dimensional
encryption decryption
low cost
cost effective
model checking