[论文解读] Shedding Light on RFID Distance Bounding Protocols and Terrorist Fraud Attacks

Pedro Peris‐Lopez, Julio Hernández-Castro+3 more|arXiv (Cornell University)|Jun 25, 2009

RFID technology advancements参考文献 21被引用 7

一句话总结

本文分析了Kim等人2008年提出的Swiss-Knife RFID距离判定协议，并展示了针对该协议的被动全披露攻击，该攻击可恢复标签的长期秘密密钥，从而使所有安全目标失效。作者随后提出了设计准则，并提出了一种名为Hitomi的新协议，该协议在资源受限设备上对中继攻击和被动窃听具有抗性，兼具安全性和高效性。

ABSTRACT

The vast majority of RFID authentication protocols assume the proximity between readers and tags due to the limited range of the radio channel. However, in real scenarios an intruder can be located between the prover (tag) and the verifier (reader) and trick this last one into thinking that the prover is in close proximity. This attack is generally known as a relay attack in which scope distance fraud, mafia fraud and terrorist attacks are included. Distance bounding protocols represent a promising countermeasure to hinder relay attacks. Several protocols have been proposed during the last years but vulnerabilities of major or minor relevance have been identified in most of them. In 2008, Kim et al. [1] proposed a new distance bounding protocol with the objective of being the best in terms of security, privacy, tag computational overhead and fault tolerance. In this paper, we analyze this protocol and we present a passive full disclosure attack, which allows an adversary to discover the long-term secret key of the tag. The presented attack is very relevant, since no security objectives are met in Kim et al.'s protocol. Then, design guidelines are introduced with the aim of facilitating protocol designers the stimulating task of designing secure and efficient schemes against relay attacks. Finally a new protocol, named Hitomi and inspired by [1], is designed conforming the guidelines proposed previously.

研究动机与目标

• 分析Kim等人提出的Swiss-Knife距离判定协议的安全性，该协议曾声称是其类别中最安全且最高效的协议。
• 证明该协议易受被动全披露攻击，攻击者可在无需主动交互的情况下提取标签的长期秘密密钥。
• 为设计安全、高效且保护隐私的距离判定协议提供实用设计准则，使其对中继攻击（尤其是恐怖欺诈攻击）和被动窃听具有抗性。
• 基于所提准则设计并形式化分析一种新型RFID距离判定协议Hitomi，确保其在现实约束下具备强安全保证。

提出的方法

• 作者对Swiss-Knife协议进行了形式化密码分析，识别出其挑战-响应机制中的缺陷，该缺陷使得攻击者可通过在信道上窃听实现被动密钥恢复。
• 使用参数为ω的伯努利过程对信道噪声引起的比特错误概率进行建模，并推导出攻击者与合法标签的错误概率表达式（p_A与p_T），以分析协议的鲁棒性。
• 基于错误概率与信号强度比ℓ_T/ℓ_A，利用霍夫丁不等式推导出一个用于区分合法与恶意响应的阈值τ，以限制误分类概率。
• 阈值τ的计算公式为τ = n(5ω + 1)/4 − logρ/(6ω − 2)，其中ρ = ℓ_T/ℓ_A，该阈值用于在噪声环境中区分合法与恶意响应。
• 基于分析结果，作者提出一组设计准则，强调密钥分离、挑战的不可重用性，以及对被动密钥恢复的抗性。
• 基于这些准则设计Hitomi协议，引入一种新颖的挑战-响应结构，防止被动密钥泄露，同时保持RFID标签的低计算开销。

实验结果

研究问题

• RQ1 尽管Kim等人声称Swiss-Knife协议是其类别中最安全且最高效的，它是否真的能抵御被动窃听攻击？
• RQ2 攻击者能否利用协议设计缺陷，在无需主动参与或操纵的情况下恢复标签的长期秘密密钥？
• RQ3 现有距离判定协议中存在哪些关键设计缺陷，导致其易受被动全披露攻击影响，尤其是在恐怖欺诈和中继攻击背景下？
• RQ4 哪些系统化的设计原则可确保未来RFID距离判定协议对主动和被动攻击均具备安全性？
• RQ5 如何构建一种新协议，以满足高安全性、高效率和高隐私要求，同时仍适用于资源受限的RFID标签？

主要发现

• Swiss-Knife协议易受被动全披露攻击，攻击者仅通过窃听挑战-响应信道即可恢复标签的长期秘密密钥。
• 该攻击之所以成功，是因为协议的响应机制在噪声环境下通过重复的挑战-响应模式泄露了关于秘密密钥的足够信息。
• 所推导的阈值τ对交换比特数n和噪声率ω均敏感，τ随n增加而增大，随ω减小而减小。
• τ还随ℓ_T/ℓ_A比值增大而增加，表明更强的合法信号需要更高的阈值以在噪声环境下维持安全性。
• 分析表明，攻击者成功恢复密钥的概率下限为(ω + 1)/2，当ω < 1/2时，该值超过合法标签的错误概率2ω。
• 根据所提准则设计的Hitomi协议可抵御被动密钥泄露，在相同威胁模型下保持强安全保证，形式化分析证实其具备鲁棒性。