%0 Journal Article %T 基于交叉位运算的超轻量级rfid认证协议 %A 杜宗印? %A 章国安? %A 袁红林? %J 计算机科学 %D 2013 %X 针对射频识别系统存在的安全隐患、标签成本较高等问题,提出了一种基于交叉位运算的超轻量级rfid认证协议(curap),并基于ban逻辑形式化分析方法,证明了该协议的正确性与安全性。curap定义了交叉位运算,包含异或及左循环移位运算,且协议运行中,数据更新运算只在读写器中进行,而标签从传输消息中进行简单的异或运算提取即可。安全分析与性能评估表明,curap不但具有较强的双向认证性,能够抵抗多种攻击,而且可以有效降低标签的计算需求、存储空间,适用于低成本的rfid系统。 %K 射频识别 %K 认证协议 %K ban逻辑 %K 超轻量级 %K 交叉 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20131107&flag=1