基于交叉位运算的超轻量级RFID认证协议

计算机科学 ›› 2013, Vol. 40 ›› Issue (11): 35-37.

基于交叉位运算的超轻量级RFID认证协议

杜宗印,章国安,袁红林

南通大学电子信息学院南通226019;南通大学电子信息学院南通226019;南通大学电子信息学院南通226019

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文受国家自然科学基金项目(61071086),交通运输部科技项目(2012-319-813-270)资助

Crossover Based Ultra-lightweight RFID Authentication Protocol

DU Zong-yin,ZHANG Guo-an and YUAN Hong-lin

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 针对射频识别系统存在的安全隐患、标签成本较高等问题,提出了一种基于交叉位运算的超轻量级RFID认证协议(CURAP),并基于BAN逻辑形式化分析方法,证明了该协议的正确性与安全性。CURAP定义了交叉位运算,包含异或及左循环移位运算,且协议运行中,数据更新运算只在读写器中进行,而标签从传输消息中进行简单的异或运算提取即可。安全分析与性能评估表明,CURAP不但具有较强的双向认证性,能够抵抗多种攻击,而且可以有效降低标签的计算需求、存储空间,适用于低成本的RFID系统。

关键词: 射频识别,认证协议,BAN逻辑,超轻量级,交叉

Abstract: Aiming at the security hole of RFID system and tag’s cost,we proposed a crossover based ultra-lightweight RFID authentication protocol(CURAP),and proved the correctness and security of this protocol with BAN logic formal analysis method．CURAP defines crossover operation involving bitwise XOR and left rotation．And data updating operation only is occurred in the reader,then the tag makes simple bitwise XOR extraction from transmission message．Security analysis and performance evaluation show that CURAP not only provides strong mutual authentication,resists various attacks,but also can lessen the computation requirement and storage space on tags,fit for low-cost RFID system.

Key words: RFID,Authentication protocol,BAN logic,Ultra-lightweight,Crossover

杜宗印,章国安,袁红林. 基于交叉位运算的超轻量级RFID认证协议[J]. 计算机科学, 2013, 40(11): 35-37. https://doi.org/

DU Zong-yin,ZHANG Guo-an and YUAN Hong-lin. Crossover Based Ultra-lightweight RFID Authentication Protocol[J]. Computer Science, 2013, 40(11): 35-37. https://doi.org/

参考文献

[1] Peris-Lopez P,Hernandez-Castro J C,Estevez-Tapiador J M,et al．LMAP:A Real Lightweight Mutual Authentication Protocol for Low-cost RFID tags[C]∥Graz,Austria．Proceedings of the 2nd Workshop on RFID Security．New Jersey,USA:IEEE Press,2006:137-148
[2] Chien H Y．SASI:A New Ultra-lightweight RFID Authentication Protocol Providing Strong Authentication and Strong Integrity[J]．IEEE Trans．Dependable and Secure Computing！,2007,4(4):337-340
[3] 吕文纳,王根英,刘云．基于低成本的RFID轻量级安全认证协议的研究[J]．铁道通信信号,2010,46(12):32-35
[4] Li Tie-yan．Employing Lightweight Primitives on Low-costRFID Tags for Authentication[C]∥Calgary,BC．Vehicular Technology Conference．2008:1-5
[5] Bagheri N,Safkhani M,Naderi M,et al．Security Analysis ofLMAP++,an RFID Authentication Protocol[C]∥Abu Dhabi．6th International Conference on Internet Technology and Secured Transactions．2011:689-694
[6] Phan R C W．Cryptanalysis of a New Ultralightweight RFIDAuthentication Protocol—SASI [J]．IEEE Trans on Dependable and Secure Computing,2009,6(4):316-320
[7] Peris-Lopez P,Hernandez-Castro J C,Estevez-Tapiador J M,et al．Advances in Ultra-Lightweight Cryptography for Low-cost RFID Tags:Gossamer Protocol[C]∥ 9th International Workshop on WISA’08．Jeju Island,Korea,Berlin:Springer Berlin Heidelberg,2009:56-68
[8] 彭朋,赵一鸣,韩伟力,等．一种超轻量级RFID双向认证协议[J]．计算机工程,2011,37(16):140-142
[9] 彭勇,林浒,卜霄菲．变焦佳点集遗传算法[J]．计算机科学,2010,37(11):194-198
[10] 金丽萍,顾翔,纪丽娜．BAN逻辑及其在认证协议性质分析中的应用研究[J]．电脑知识与技术,2008,2(12):500-502

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed