基于矩阵理论RFID认证协议设计及BAN逻辑分析.docVIP

基于矩阵理论RFID认证协议设计及BAN逻辑分析 　　文章编号:1001??9081(2013)07??1854??04 　　doi:10.11772/j.issn.1001??9081.2013.07.1854 　　摘 要: 　　针对目前提出的射频识别(RFID)认证协议大多不能抵抗重放攻击和数据篡改攻击的问题，提出了一种能抵抗这些攻击的低成本安全协议――基于矩阵的安全协议(MSP)。该协议基于矩阵理论的矩阵乘法向量积和伪随机数生成器(PRNG)，实现所需门电路不超过1?000此处能否写成1000，请明确。，满足低成本的要求。与基于同等算法的已有协议分析得出MSP大大降低了标签存储量和计算复杂度。最后，经BAN逻辑分析证明MSP实现了安全认证。因此，MSP非常适用于RFID环境。 　　?关键词:矩阵理论;射频识别;认证协议;BAN逻辑 　　?中图分类号: TP391.45文献标志码:A 　　 　　英文标题? 　　Matrix?based authentication protocol for RFID and BAN logic analysis 　　 　　Matrix?based security protocol for radio frequency identification 　　英文标题与中文标题不一致，需要补充英文标题名称。 　　? 　　英文作者名 　　 　　LI Hongjing???*?, LIU Dan 　　?英文地址( 　　Research Institute of Electronic Science and Technology, University of Electronic Science and Technology of China, ? 　　Chengdu Sichuan 611731, China英文摘要)? 　　Abstract: 　　 　　 　　Currently, most of proposed Radio Frequency Identification (RFID) authentication protocols cannot resist replay attack and altering attack. This article proposed a low?cost secure protocol, called Matrix?based Secure Protocol (MSP), which could resist these attacks. MSP utilized matrix?theory and Pseudo Random Number Generator (PRNG), and required only 1?000 gate equivalents. Compared to previous proposed protocols using the same algorithm, MSP had less demand on the storage and the computing capability. Then, this article analyzed the security of MSP with Burrows?Abadi?Needham (BAN) logic. The conclusion is that MSP applies to RFID well. 　　 　　Currently, most of proposed Radio Frequency Identification (RFID) authentication protocols can not resist replay attack and altering attack, this article proposed a low?cost secure protocol, called Matrix?based Secure Protocol (MSP), which could resist these attacks. MSP utilized matrix?theory and PRNG, and required only 1K gate equivalents. Compared to previous proposed protocols using the same algorithm, MSP had less demand on the storage and the compute capability. Then, this article analysed the security of MSP with BAN logic. T