Defending vulnerable security protocols by means of attack interference in non-collaborative scenarios

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