Pubblicazioni

Autori:

Fiazza Maria-Camilla; Peroli Michele; Vigano' Luca

Titolo:

Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis

Anno:

2011

Tipologia prodotto:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Nazioni degli autori:

ITALIA

Lingua:

Inglese

Formato:

Elettronico

Titolo del Convegno:

International Conference on Security and Cryptography, Secrypt 2011

Luogo:

Seville, Spain

Periodo:

Luglio 18-21, 2011

Casa editrice:

SciTePress

ISBN:

9789898425713

Intervallo pagine:

144-156

Parole chiave:

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

Breve descrizione dei contenuti:

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.

Id prodotto:

63199

Handle IRIS:

11562/367606

depositato il:

17 novembre 2012

ultima modifica:

2 novembre 2016

Citazione bibliografica:

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 , Atti di "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