When Is a Protocol Broken? (Transcript of Discussion).

Bruce Christianson

Published in: Security Protocols Workshop (2007)

Keyphrases

lightweight
coloured petri nets
network protocols
cooperative
authentication protocol
communication protocol
tcp ip
cryptographic protocols
formal analysis
word level