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

doi:10.11772/j.issn.1001-9081.2013.07.1854

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

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

李红静,刘丹

电子科技大学电子科学技术研究院，成都 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

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

摘要/Abstract

摘要： 针对目前提出的射频识别(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

中图分类号:

TP391.45

李红静刘丹. 基于矩阵理论的RFID认证协议设计及BAN逻辑分析[J]. 计算机应用, 2013, 33(07): 1854-1857.

LI Hongjing LIU Dan. Matrix-based authentication protocol for RFID and BAN logic analysis[J]. Journal of Computer Applications, 2013, 33(07): 1854-1857.

参考文献

［1］DUC D N, LEE H, KIM K. Enhancing security of EPC global GEN-2 RFID tag against traceability and cloning［EB/OL］. ［2012-12-20］. http://www.autoidlabs.org/uploads/media/AUTOIDLABS-WP-SWNET-016.pdf.

［2］CHIEN H Y, CHEN C H. Mutual authentication protocol for RFID conforming to EPC Class 1 Generation 2 standards ［J］. Computer Standards and Interfaces, 2007, 29(2): 254-259.

［3］PERIS-LOPEZ P, HERNANDEZ-CASTRO J C, TAPIADOR J M E, et al. Cryptanalysis of a novel authentication protocol conforming to EPC-C1G2 standard［J］. Computer Standards and Interfaces，2009, 31(2): 372-380.

［4］SARMA S E, WEIS S A, ENGELS D W. RFID systems and security and privacy implications ［C］// Proceedings of the 4th International Workshop on Cryptographic Hardware and Embedded Systems. Berlin: Springer, 2003: 454-469.

［5］SARMA S E, WEIS S A, ENGELS D W. Radio frequency identification: secure risks and challenges ［J］. RSA Laboratories Cryptobytes, 2003, 6(1):2-9.

［6］WEIS S A, SARMA S E, RIVEST R L, et al. Security and privacy aspects of low-cost radio frequency identification systems ［C］// Proceedings of the 1st International Conference on Security in Pervasive Computing. Berlin: Springer, 2004: 201-212.

［7］OHKUBO M, SUZUKI K, KINOSHITA S. Hash-chain based forward-secure privacy protection scheme for low-cost RFID ［C］// Proceedings of the 4th Symposium on Cryptography and Information Security. Berlin: Springer, 2004: 719-724.

［8］CHOI E Y, LEE S M, LEE D H. Efficient RFID authentication protocol for ubiquitous computing environment ［C］// EUC 2005: Proceedings of the 2005 International Conference on Embedded and Ubiquitous Computing. Berlin: Springer, 2005: 945-954.

［9］FELDHOFER M, DOMINIKUS S, WOLKERSTORFER J. Strong authentication for RFID systems using the AES algorithm ［C］// CHES’04: Proceedings of 2004 Cryptographic Hardware and Embedded Systems. Berlin: Springer, 2004: 357-370.

［10］GOLLE P, JAKOBSSON M, JUELS A, et al. Universal re-encryption for mixnets ［C］// Proceedings of the 2004 RSA Conference, Cryptographer’s Track. Berlin: Springer, 2004: 163-178.

［11］STALLINGS W. Computer security: principles and practice ［M］. 2nd ed. Upper Saddle River, NJ: Prentice Hall, 2011.

［12］裴友林,杨善林.基于密钥矩阵的RFID安全协议［J］.计算机工程,2008,34(19):170-173.

［13］游相柏,刘毅敏.RFID安全认证协议研究［J］.电视技术,2012,36(15)：104-107.

[1]	吴恺凡, 殷新春. 基于随机运算符的轻量级匿名射频识别系统双向认证协议[J]. 计算机应用, 2021, 41(6): 1621-1630.
[2]	刘艳, 张玉. 基于Logistic映射的射频识别防碰撞算法[J]. 计算机应用, 2020, 40(8): 2334-2339.
[3]	徐晓翔, 常相茂, 陈方进. 基于RFID标签阵列的睡眠期间呼吸量连续监测系统[J]. 计算机应用, 2020, 40(5): 1534-1538.
[4]	史志才, 王益涵, 张晓梅, 陈珊珊, 陈计伟. 可扩展及可证安全的射频识别认证协议[J]. 计算机应用, 2019, 39(3): 774-778.
[5]	刘欣东, 徐水帅, 陈建华. 基于椭圆曲线密码的智能电网通信认证协议[J]. 计算机应用, 2019, 39(3): 779-783.
[6]	黄可可, 刘亚丽, 殷新春. 基于位重排变换的超轻量级RFID双向认证协议[J]. 计算机应用, 2019, 39(1): 118-125.
[7]	王帅, 杨晓东. 基于序贯线性贝叶斯的RFID标签数量估计算法[J]. 计算机应用, 2018, 38(11): 3287-3292.
[8]	丁建立, 韩宇超, 王家亮. 基于粗精二次估计的RFID标签数目估算方法[J]. 计算机应用, 2017, 37(9): 2722-2727.
[9]	杨兴春, 许春香, 李朝荣. 基于ECC的支持标签所有权转移的RFID认证协议[J]. 计算机应用, 2017, 37(8): 2275-2280.
[10]	徐亚峰, 崔英花. 基于图论的射频识别阅读器防碰撞算法[J]. 计算机应用, 2017, 37(8): 2163-2167.
[11]	莫磊, 陈伟, 任菊. 计数型双时隙射频识别防碰撞算法[J]. 计算机应用, 2017, 37(8): 2168-2172.
[12]	孙亮, 陈小春, 郑树剑, 刘赢. 基于固件的终端位置管理系统研究与应用[J]. 计算机应用, 2017, 37(2): 417-421.
[13]	骆旗, 韩华, 龚江涛, 王海军. 基于蒙特卡罗模拟修正的随机矩阵去噪方法[J]. 计算机应用, 2016, 36(9): 2642-2646.
[14]	陶源, 周喜, 马玉鹏, 赵凡. 基于Hash函数的移动双向认证协议[J]. 计算机应用, 2016, 36(3): 657-660.
[15]	龙昭华, 宫腾飞. 基于非空时隙数的无线射频识别标签估算算法[J]. 计算机应用, 2016, 36(1): 101-106.

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

Matrix-based authentication protocol for RFID and BAN logic analysis

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics