Is the Verification Problem for Cryptographic Protocols Solved?.

Giampaolo Bella Cristiano Longo Lawrence C. Paulson

Published in: Security Protocols Workshop (2003)

Keyphrases

cryptographic protocols
standard model
security properties
security protocols
authentication protocol
real time
information systems