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

Matrix-based authentication protocol for RFID and BAN logic analysis

作　　者：李红静[1] 刘丹[1] 

机构地区：[1]电子科技大学电子科学技术研究院,成都611731

出　　处：《计算机应用》2013年第7期1854-1857,共4页journal of Computer Applications

基　　金：高校院所应用成果转化项目(12DXYB195JH-002)

摘　　要：针对目前提出的射频识别(RFID)认证协议大多不能抵抗重放攻击和数据篡改攻击的问题,提出了一种能抵抗这些攻击的低成本安全协议——基于矩阵的安全协议(MSP)。该协议基于矩阵理论的矩阵乘法和伪随机数生成器(PRNG),实现所需门电路不超过1000,满足低成本的要求。与基于同等算法的已有协议分析得出MSP大大降低了标签存储量和计算复杂度。最后,经BAN逻辑分析证明MSP实现了安全认证。因此,MSP非常适用于RFID环境。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 1000 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.

关 键 词：矩阵理论 射频识别 认证协议 BAN逻辑 

分 类 号：TP391.45[自动化与计算机技术—计算机应用技术]