On the Reachability Problem in Cryptographic Protocols.

Roberto M. Amadio Denis Lugiez

Published in: CONCUR (2000)

Keyphrases

cryptographic protocols
state space
security properties
standard model
authentication protocol
real time
security protocols
encryption decryption