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.
Document type :
Journal articles
Liste complète des métadonnées

Contributor : Cédric Lauradoux <>
Submitted on : Tuesday, October 19, 2010 - 10:52:11 AM
Last modification on : Thursday, February 7, 2019 - 2:28:14 PM


  • HAL Id : hal-00527408, version 1



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⟩



Record views