Abstract:A distance bounding system guarantees an upper bound on the physical distance between a verifier and a prover. However, in contrast to a conventional wireless communication system, distance bounding systems introduce tight requirements on the processing delay at the prover and require high distance measurement precision making their practical realization challenging. Prior proposals of distance bounding systems focused primarily on building provers with minimal processing delays but did not consider the power limitations of provers and verifiers. However, in a wide range of applications (e.g., physical access control), provers are expected to be fully or semi-passive introducing additional constraints on the design and implementation of distance bounding systems. In this work, we propose a new physical layer scheme for distance bounding and leverage this scheme to implement a distance bounding system with a low-power prover. Our physical layer combines frequency modulated continuous wave (FMCW) and backscatter communication. The use of backscatter communication enables low power consumption at the prover which is critical for a number of distance bounding applications. By using the FMCW-based physical layer, we further decouple the physical distance estimation from the processing delay at the prover, thereby enabling the realization of the majority of distance bounding protocols developed in prior art. We evaluate our system under various attack scenarios and show that it offers strong security guarantees against distance, mafia and terrorist frauds. Additionally, we validate the communication and distance measurement characteristics of our system through simulations and experiments and show that it is well suited for short-range physical access control and payment applications.

So Near and Yet So Far – Symbolic Verification of Distance-Bounding Protocols

ToAuth: Towards Automatic Near Field Authentication for Smartphones

A FMCW-Based Cross Layer RF Distance Bounding Scheme.

Shedding Light on RFID Distance Bounding Protocols and Terrorist Fraud Attacks

Who Stole My Cheese?: Verifying Intactness of Anonymous RFID Systems

Distance-bounding facing both mafia and distance frauds: Technical report*

Low-power Distance Bounding

Security Analysis of Near-Field Communication (NFC) Payments

A Practical Set-Membership Proof for Privacy-Preserving NFC Mobile Ticketing

Securing Emerging Short Range Wireless Communications: the State of the Art

Chord - Thwarting Relay Attacks Among Near Field Communications.

From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT.

Intactness verification in anonymous RFID systems

Efficient and Secure NFC Authentication for Mobile Payment Ensuring Fair Exchange Protocol

NFCGate: Opening the Door for NFC Security Research with a Smartphone-Based Toolkit

Towards Provable Secure Neighbor Discovery in Wireless Networks

Secure Distance Bounding Verification using Physical-Channel Properties

When Theory and Reality Collide: Demystifying the Effectiveness of Ambient Sensing for NFC-based Proximity Detection by Applying Relay Attack Data

Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol

Distance‐bounding trust protocol in anonymous radio‐frequency identification systems

NFC-enabled Attack on Cyber Physical Systems: A Practical Case Study.