Security Protocols as Environments: a Lesson from Non-collaboration

Michele Peroli, Luca Vigano', Maria-Camilla Fiazza
2011 Proceedings of the 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing  
Although computer security typically revolves around threats, attacks and defenses, the sub-field of security protocol analysis (SPA) has so far focused almost exclusively on attacks. In this paper, we show that such focus on attacks depends on few critical assumptions that have been characteristic of the field and have governed its mindset, approach and developed tools. We motivate that indeed there is room in SPA for a fruitful notion of defense and that the conceptual bridge lies in multiple
more » ... non-collaborating attackers. Defending security protocols through interference between attackers is possible; however, in order to understand network behavior completely, it is necessary to start treating protocols as environments, not simply as sequences of message exchanges.
doi:10.4108/icst.collaboratecom.2011.247156 dblp:conf/colcom/FiazzaPV11 fatcat:7nnjsgoeizaklezbaoymdynzti