Pubblicazioni

Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis  (2011)

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 TelecommunicationsSciTePressAtti di "International Conference on Security and Cryptography, Secrypt 2011" , Seville, Spain , Luglio 18-21, 2011 , 2011pp. 144-156

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

Progetti Collegati
Titolo Dipartimento Responsabili
SPaCIoS: Secure Provision and Consumption in the Internet of Services Dipartimento Informatica Luca Vigano'
<<indietro

Attività

Strutture