AUTHOR=Fiazza Maria-Camilla , Peroli Michele , Viganò Luca TITLE=Defending Vulnerable Security Protocols by Means of Attack Interference in Non-Collaborative Scenarios JOURNAL=Frontiers in ICT VOLUME=2 YEAR=2015 URL=https://www.frontiersin.org/journals/ict/articles/10.3389/fict.2015.00011 DOI=10.3389/fict.2015.00011 ISSN=2297-198X ABSTRACT=

In security protocol analysis, the traditional choice to consider a single Dolev–Yao attacker is supported by the fact that models with multiple collaborating Dolev–Yao attackers are reducible to models with one Dolev–Yao attacker. In this paper, we take a fundamentally different approach and investigate the case of multiple non-collaborating attackers. We formalize a framework for multi-attacker scenarios and show, through a detailed case study, that concurrent competitive attacks can interfere with each other. It is then possible to exploit interference to provide a form of defense to vulnerable protocols.