Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]

M. Camilla Fiazza, Michele Peroli, Luca Viganò

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 h…