摘要

RFID系统是物联网感知层的重要组成部分,系统中标签端和读写器端之间的无线通信以及标签端有限的加密处理能力使其存在安全和隐私问题,解决RFID系统中的安全和隐私问题已成为一个重要的课题.本文基于广义逆矩阵,以合理平衡安全、隐私和成本为原则,利用CRC校验、矩阵运算以及简单逻辑运算设计了一个RFID标签和后端服务器之间的双向安全认证协议GIMAP,解决了重放、窃听、拒绝服务和追踪等安全隐私问题,并基于模态逻辑中的GNY逻辑给出了形式化证明.GI-MAP具有前向安全性,并且没有使用公钥加密、私钥加密或Hash函数,符合EPC Class1Gen2标准,因此具有广泛的应用前景.