[论文解读] KIMAP: Key-Insulated Mutual Authentication Protocol for RFID

Atsuko Miyaji, Mohammad Shahriar Rahman|arXiv (Cornell University)|Sep 23, 2012

RFID technology advancements参考文献 33被引用 3

一句话总结

KIMAP 是一种针对 RFID 系统的密钥绝缘互认证协议，在共享密钥环境中提供前向安全性和‘受限’的向后安全。通过使用绝缘密钥，它限制了密钥暴露带来的损害，确保即使在认证过程中标签的密钥被泄露，过去和未来的会话密钥依然安全。

ABSTRACT

RFID tags are heavily constrained in computational and storage capabilities, and raise numerous privacy concerns in everyday life due to their vulnerability to different attacks. Both forward security and backward security are required to maintain the privacy of a tag i.e., exposure of a tag's secret key should not reveal the past or future secret keys of the tag. We envisage the need for a formal model for backward security for RFID protocol designs in shared key settings, since the RFID tags are too resource-constrained to support public key settings. However, there has not been much research on backward security for shared key environment since Serge Vaudenay in his Asiacrypt 2007 paper showed that perfect backward security is impossible to achieve without public key settings. We propose a Key-Insulated Mutual Authentication Protocol for shared key environment, KIMAP, which minimizes the damage caused by secret key exposure using insulated keys. Even if a tag's secret key is exposed during an authentication session, forward security and `restricted' backward security of the tag are preserved under our assumptions. The notion of `restricted' backward security is that the adversary misses the protocol transcripts which are needed to update the compromised secret key. Although our definition does not capture perfect backward security, it is still suitable for effective implementation as the tags are highly mobile in practice. We also provide a formal security model of KIMAP. Our scheme is more efficient than previous proposals from the viewpoint of computational requirements.

研究动机与目标

• 解决在共享密钥 RFID 协议中缺乏向后安全机制的问题，尽管需要强隐私保障。
• 克服在无公钥基础设施的共享密钥环境下，完美向后安全在理论上不可能实现的困境。
• 设计一种适用于计算能力和存储受限的 RFID 标签的实用且高效的互认证协议。
• 为在共享密钥假设下 RFID 系统中的密钥绝缘互认证提供正式的安全模型。
• 通过绝缘密钥管理最小化密钥暴露的影响，确保过去和未来会话的安全性。

提出的方法

• 引入一种密钥绝缘架构，其中每个标签维护一组由主密钥派生的绝缘密钥。
• 使用基于时间或会话的密钥派生机制，为每次认证会话生成新密钥。
• 确保即使标签的当前秘密密钥被暴露，由于绝缘特性，过去和未来的密钥依然安全。
• 设计协议使得攻击者无法在没有完整协议传输记录的情况下重构密钥更新过程。
• 使用针对 RFID 互认证与密钥绝缘的定制化标准游戏化定义，形式化安全模型。
• 通过避免使用公钥密码学，仅依赖对称原原子，降低计算开销，提升在受限设备上的效率。

实验结果

研究问题

• RQ1 在资源受限标签的限制下，能否在共享密钥环境中有效实现 RFID 系统的向后安全？
• RQ2 当标签的密钥在认证会话期间被暴露时，最多能将损害控制在多大范围内？
• RQ3 如何正式建模并实现密钥绝缘，以在 RFID 协议中同时保持前向安全与向后安全？
• RQ4 缺乏公钥支持在多大程度上影响 RFID 互认证方案的设计与安全保证？
• RQ5 与以往的密钥绝缘或互认证协议相比，所提出的 KIMAP 协议在效率和安全性方面表现如何？

主要发现

• KIMAP 实现了前向安全性和‘受限’向后安全性，确保标签当前密钥暴露不会危及过去或未来的会话密钥。
• 该协议在为 RFID 互认证与密钥绝缘量身定制的安全模型下被形式化证明是安全的。
• 由于依赖对称密钥操作而非公钥密码学，KIMAP 比以往方案计算效率更高。
• 引入了‘受限’向后安全的概念作为实际折衷，假设攻击者缺少关键协议传输记录，无法逆向推导密钥更新过程。
• 该方案适用于移动 RFID 环境中的实际部署，其中标签频繁暴露且计算资源极为有限。
• 通过轻量级设计与形式化安全保证，该协议在无需公钥基础设施的情况下仍展现出实际可行性。