Can You Fool Me? Towards Automatically Checking Protocol Gullibility.

Milan Stanojevic Ratul Mahajan Todd D. Millstein Madanlal Musuvathi

Published in: HotNets (2008)

Keyphrases

automatically generated
cryptographic protocols
neural network
real time
real world
machine learning
search engine
video sequences
cooperative
user defined
integrity constraints
formal analysis
security analysis
authentication protocol
tcp ip