Security Protocols as Environments: a Lesson from Non-collaboration
Michele Peroli, Luca Viganò, Maria-Camilla Fiazza · 2011
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