A New Look at an Old Protocol.

Paul F. Syverson

Published in: ACM SIGOPS Oper. Syst. Rev. (1996)

Keyphrases

lightweight
coloured petri nets
security analysis
tcp ip
authentication protocol
real time
information retrieval
website
case study
cryptographic protocols
denial of service attacks
network simulator
multiple access