Publications

Authors:

Fiazza Maria-Camilla; Peroli Michele; Vigano' Luca

Title:

Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis

Year:

2011

Type of item:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Nations of authors:

ITALIA

Language:

Inglese

Format:

Elettronico

Congresso:

International Conference on Security and Cryptography, Secrypt 2011

Place:

Seville, Spain

Period:

Luglio 18-21, 2011

Publisher:

SciTePress

ISBN:

9789898425713

Page numbers:

144-156

Keyword:

Security protocols, formal methods, attacker models, non-collaboration

Short description of contents:

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 have been shown to be 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. After formalizing the framework for multi-attacker scenarios, we show with a case study that concurrent competitive attacks can interfere with each other. We then present a new strategy to defend security protocols, based on active exploitation of attack interference. The paper can be seen as providing two proof-of-concept results: (i) it is possible to exploit interference to mitigate protocol vulnerabilities, thus providing a form of protection to protocols; (ii) the search for defense strategies requires scenarios with at least two attackers.

Product ID:

63199

Handle IRIS:

11562/367606

Deposited On:

November 17, 2012

Last Modified:

November 2, 2016

Bibliographic citation:

Fiazza Maria-Camilla; Peroli Michele; Vigano' Luca, Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis  in SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18 - 21 July, 2011, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications , SciTePress , Proceedings of "International Conference on Security and Cryptography, Secrypt 2011" , Seville, Spain , Luglio 18-21, 2011 , 2011 , pp. 144-156

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo