Can You Fool Me? Towards Automatically Checking Protocol Gullibility

Milan Stanojevic, Ratul Mahajan, Todd Millstein, and Madanlal Musuvathi

Details

Publication typeInproceedings
Published inin HotNets '08, Seventh ACM Workship on Hot Topics in Networks
PublisherAssociation for Computing Machinery, Inc.
> Publications > Can You Fool Me? Towards Automatically Checking Protocol Gullibility