Milan Stanojevic, Ratul Mahajan, Todd D. Millstein, Madanlal Musuvathi. Can You Fool Me? Towards Automatically Checking Protocol Gullibility. In Carey L. Williamson, David Andersen, Steve D. Gribble, editors, 7th ACM Workshop on Hot Topics in Networks - HotNets-VII, Calgary, Alberta, Canada, October 6-7, 2008. pages 31-36, ACM SIGCOMM, 2008. [doi]
Abstract is missing.