Publications

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

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 TelecommunicationsSciTePressProceedings of "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

Related projects
Title Department Managers
SPaCIoS: Secure Provision and Consumption in the Internet of Services Department Informatica Luca Vigano'
<<back

Activities

Research facilities

Share