Can You Fool Me? Towards Automatically Checking Protocol Gullibility
| Citations: | 2 - 1 self |
BibTeX
@MISC{Stanojevic_canyou,
author = {Milan Stanojevic and Ratul Mahajan and Todd Millstein and Madanlal Musuvathi},
title = {Can You Fool Me? Towards Automatically Checking Protocol Gullibility},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract – We consider the task of automatically evaluating protocol gullibility, that is, the ability of some of the participants to subvert the protocol without the knowledge of the others. We explain how this problem can be formalized as a game between honest and manipulative participants. We identify the challenges underlying this problem and outline several techniques to address them. Finally, we describe the design of a preliminary prototype for checking protocol gullibility and show that it can uncover vulnerabilities in the ECN protocol. 1.
