A Framework for Analyzing RFID Distance Bounding Protocols

Abstract : Many distance bounding protocols appropriate for the RFID technology have been proposed recently. Unfortunately, they are commonly designed without any formal approach, which leads to inaccurate analyzes and unfair comparisons. Motivated by this need, we introduce a unified framework that aims to improve analysis and design of distance bounding protocols. Our framework includes a thorough terminology about the frauds, adversary, and prover, thus disambiguating many misleading terms. It also explores the adversary's capabilities and strategies, and addresses the impact of the prover's ability to tamper with his device. It thus introduces some new concepts in the distance bounding domain as the black-box and white-box models, and the relation between the frauds with respect to these models. The relevancy and impact of the framework is finally demonstrated on a study case: Munilla-Peinado distance bounding protocol.
Type de document :
Article dans une revue
Journal of Computer Security, IOS Press, 2010
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00527408
Contributeur : Cédric Lauradoux <>
Soumis le : mardi 19 octobre 2010 - 10:52:11
Dernière modification le : jeudi 7 février 2019 - 14:28:14

Identifiants

  • HAL Id : hal-00527408, version 1

Collections

Citation

Avoine Gildas, Muhammed Ali Bingöl, Süleyman Kardas, Cédric Lauradoux, Benjamin Martin. A Framework for Analyzing RFID Distance Bounding Protocols. Journal of Computer Security, IOS Press, 2010. 〈hal-00527408〉

Partager

Métriques

Consultations de la notice

321