18、具有匿名性的可证明安全离线 RFID 配对证明协议解析

具有匿名性的可证明安全离线 RFID 配对证明协议解析

1. RFID 技术与配对证明协议概述

RFID（Radio Frequency Identification）技术借助无线通信实现物体识别。当无源 RFID 标签附着在物体上，且 RFID 阅读器为其供电时，标签与阅读器间会建立通信通道，进而实现消息交换。由于 RFID 标签在物流、运输、产品管理等众多商业活动中广泛应用，授权管理者对其进行追踪成为重要关注点。

Juels 引入了 RFID 配对证明协议，该协议可证明两个 RFID 标签同时被阅读器扫描，通过阅读器的通信来证实标签的共存。当此协议扩展到一组标签通过阅读器通信并生成证明时，便称为“分组证明协议”。然而，此前提出的众多配对证明和分组证明协议大多存在漏洞。

例如，Juels 提出的两个配对证明协议均易受重放攻击，攻击者可将不同会话的信息流组合；Piramuthu 指出某分组证明协议仍存在重放攻击风险；Peris - Lopez 等人引入多证明会话重放攻击，并对 Piramuthu 的协议发起攻击；Burmester 等人提出的可证明安全配对证明协议，被 Peris 等人指出易受多重伪装攻击；Chien 和 Liu 的配对证明协议存在隐私问题，Huang 和 Ku 的分组证明协议无法抵御伪装攻击；Peris - Lopez 等人给出构建安全协议的指南并提出新协议，但 Bagheri 和 Safkhani 表明该协议可通过通信消息计算出标签的秘密密钥；Batina 等人基于公钥密码学提出的分组证明协议，被 Hermans 和 Peeters 指出易受伪装攻击和中间人（MIM）攻击。

2. 新协议的贡献

本研究聚焦于可证明安全