【摘要】 针对射频识别系统存在的安全隐患、标签成本较高等问题,提出了一种基于交叉位运算的超轻量级RFID认证协议(CURAP),并基于BAN逻辑形式化分析方法,证明了该协议的正确性与安全性。CURAP定义了交叉位运算,包含异或及左循环移位运算,且协议运行中,数据更新运算只在读写器中进行,而标签从传输消息中进行简单的异或运算提取即可。安全分析与性能评估表明,CURAP不但具有较强的双向认证性,能够抵抗多种攻击,而且可以有效降低标签的计算需求、存储空间,适用于低成本的RFID系统。更多还原

【Abstract】 Aiming at the security hole of RFID system and tag’s cost,we proposed a crossover based ultra-lightweight RFID authentication protocol(CURAP),and proved the correctness and security of this protocol with BAN logic formal analysis method.CURAP defines crossover operation involving bitwise XOR and left rotation.And data updating operation only is occurred in the reader,then the tag makes simple bitwise XOR extraction from transmission message.Security analysis and performance evaluation show that CURAP not only provides strong mutual authentication,resists various attacks,but also can lessen the computation requirement and storage space on tags,fit for low-cost RFID system.更多还原