计算机应用 ›› 2013, Vol. 33 ›› Issue (07): 1854-1857.DOI: 10.11772/j.issn.1001-9081.2013.07.1854

• 信息安全 • 上一篇    下一篇

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

李红静,刘丹   

  1. 电子科技大学 电子科学技术研究院,成都 611731
  • 收稿日期:2013-01-07 修回日期:2013-02-15 出版日期:2013-07-01 发布日期:2013-07-06
  • 通讯作者: 李红静
  • 作者简介:李红静(1988-),女(土家族),湖北恩施人,硕士研究生,主要研究方向:RFID安全;刘丹(1969-),男,四川成都人,副教授,博士,主要研究方向:网络安全、信息系统安全、RFID安全。
  • 基金资助:

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

Matrix-based authentication protocol for RFID and BAN logic analysis

LI Hongjing,LIU Dan   

  1. Research Institute of Electronic Science and Technology, University of Electronic Science and Technology of China, Chengdu Sichuan 611731, China
  • Received:2013-01-07 Revised:2013-02-15 Online:2013-07-06 Published:2013-07-01
  • Contact: LI Hongjing

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

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

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 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.

Key words: matrix theory, Radio Frequency Identification (RFID), authentication protocol, Burrows-Abadi-Needham (BAN) logic

中图分类号: