Sign in

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