基于Hash函数的移动射频识别互认证安全协议设计

doi:10.3724/SP.J.1087.2013.01350

计算机应用 ›› 2013, Vol. 33 ›› Issue (05): 1350-1352.DOI: 10.3724/SP.J.1087.2013.01350

基于Hash函数的移动射频识别互认证安全协议设计

刘鹏,张昌宏,欧庆于

海军工程大学信息安全系，武汉 430033

收稿日期:2012-11-23 修回日期:2012-12-29 出版日期:2013-05-01 发布日期:2013-05-08
通讯作者: 刘鹏
作者简介:刘鹏(1988-)，男，河北衡水人，硕士研究生，主要研究方向：密码理论、密码保障；张昌宏(1964-)，男，江苏扬州人，副教授，硕士，主要研究方向：密码保障；欧庆于(1978-)，男，江西靖安人，副教授，硕士，主要研究方向：密码芯片设计。

Authentication protocol of mobile RFID based on Hash function

LIU Peng,ZHANG Changhong,OU Qingyu

Department of Information Security，Naval University of Engineering，Wuhan Hubei 430033,China

Received:2012-11-23 Revised:2012-12-29 Online:2013-05-08 Published:2013-05-01
Contact: LIU Peng

摘要/Abstract

摘要： 为解决移动射频识别(RFID)中阅读器与后端服务器分离所产生的安全问题，设计出一种基于Hash的轻量级认证协议，在无线通信环境下利用Hash的单向性实现标签、阅读器和后端服务器之间三方的互相认证，防止重放攻击、非法读取、位置跟踪等一系列安全问题的发生;并将计算的主要成本转移到后端服务器，减小大规模应用标签的开支。对协议进行GNY逻辑推理，证明其安全性足够满足应用的要求。

关键词: 移动RFID, 互认证, Hash函数, 形式化分析, 轻量级, GNY逻辑

Abstract: In order to resolve the security issues of Mobile-Radio Frequency Identification (M-RFID), the author designed a lightweight authentication protocol based on Hash. It can achieve the mutual authentication between tags, readers and servers in the environment of wireless communication. It can prevent a series of security issues such as replay attacks, unauthorized reading, and location tracking. GNY logic was applied to prove that the agreement is sufficient to meet the security needs.

Key words: mobile RFID, mutual authentication, Hash function, formal analysis, lightweight, GNY logic

中图分类号:

TP393.04

刘鹏张昌宏欧庆于. 基于Hash函数的移动射频识别互认证安全协议设计[J]. 计算机应用, 2013, 33(05): 1350-1352.

LIU Peng ZHANG Changhong OU Qingyu. Authentication protocol of mobile RFID based on Hash function[J]. Journal of Computer Applications, 2013, 33(05): 1350-1352.

参考文献

［1］WEIS S A. Security and privacy in radio-frequency identification devices ［D］. Cambridge: Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science，2003.

［2］WEIS S, SARMA S, RIVEST R, et al. Security and privacy aspects of low-cost radio frequency identification systems［C］// Proceedings of Security in Pervasive Computing'04. Piscataway: IEEE Computer Society Press, 2004:201-212.

［3］曾丽华,熊璋,张挺.Key值更新随机Hash锁对RFID安全隐私的加强［J］.计算机工程,2007,33(3):151-155.

［4］OHKUBO M, SUZUKI K, KINOSHTCA S. Cryptographic approach to "Privacy-Friendly" tags［C］// Proceedings of RFID Privacy Workshop. Cambridge: Massachusetts Institute of Technology Press, 2003:212-219.

［5］陈信刚.基于移动网的RFID安全接入机制研究［D］.南京:南京邮电大学，2008.

［6］王新锋,刘建国,蒋旭，等.移动型RFID安全协议及其GNY逻辑分析［J］.计算机应用,2008,28(9):2239-2241.

［7］张亚玲,张超奇，马巧梅. 读写器可移动的RFID高效认证协议［J］.计算机工程,2012,38(1):264-267.

［8］GONG L, NEEDHAM R, YAHALOM R. Reasoning about belief in cryptographic protocols［C］ // Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy。Washington, DC: IEEE Computer Society，1990：234-248．

［9］米志强.射频识别(RFID)技术与应用［M］.北京：电子工业出版社，2011.

［10］马巧梅,王尚平.一个超轻量级的RFID认证协议［J］.计算机工程,2012,38(2):151-153.

［11］邓淼磊,王玉磊.无需后端数据库的RFID认证协议［J］.北京邮电大学学报,2009,32(4):59-62.

［12］蔡豪.RFID安全认证协议的研究与设计［D］.武汉:华中科技大学,2010.

[1]	史杨潇, 章军, 陈鹏, 王兵. 基于轻量级网络的钢铁表面缺陷分类[J]. 计算机应用, 2021, 41(6): 1836-1841.
[2]	吴恺凡, 殷新春. 基于随机运算符的轻量级匿名射频识别系统双向认证协议[J]. 计算机应用, 2021, 41(6): 1621-1630.
[3]	胡嵽, 冯子亮. 基于深度学习的轻量级道路图像语义分割算法[J]. 计算机应用, 2021, 41(5): 1326-1331.
[4]	顾桐, 许国良, 李万林, 李家浩, 王志愿, 雒江涛. 基于集成LightGBM和贝叶斯优化策略的房价智能评估模型[J]. 计算机应用, 2020, 40(9): 2762-2767.
[5]	朱怡, 宁振虎, 周艺华. 基于视觉特征的仿冒域名轻量级检测技术[J]. 计算机应用, 2020, 40(8): 2279-2285.
[6]	强保华, 翟艺杰, 陈金龙, 谢武, 郑虹, 王学文, 张世豪. 基于改进CPMs和SqueezeNet的轻量级人体骨骼关键点检测模型[J]. 计算机应用, 2020, 40(6): 1806-1811.
[7]	赵羽龙, 牛保宁, 李鹏, 樊星. 区块链增强型轻量级节点模型[J]. 计算机应用, 2020, 40(4): 942-946.
[8]	龚锐, 丁胜, 章超华, 苏浩. 基于深度学习的轻量级和多姿态人脸识别方法[J]. 计算机应用, 2020, 40(3): 704-709.
[9]	王继霄, 李阳, 王家宝, 苗壮, 张洋硕. 基于SqueezeNet的轻量级图像融合方法[J]. 计算机应用, 2020, 40(3): 837-841.
[10]	史梦安, 陆振宇. 基于YOLO-tiny-RFB模型的电站旋钮开关状态识别[J]. 计算机应用, 2020, 40(12): 3679-3686.
[11]	皮家甜, 杨杰之, 杨琳希, 彭明杰, 邓雄, 赵立军, 唐万梅, 吴至友. 基于多模态特征融合的轻量级人脸活体检测方法[J]. 计算机应用, 2020, 40(12): 3658-3665.
[12]	陈放, 刘晓瑞, 杨明业. 基于活体检测和身份认证的人脸识别安防系统[J]. 计算机应用, 2020, 40(12): 3666-3672.
[13]	陈力, 丁世飞, 于文家. 基于跨通道交叉融合和跨模块连接的轻量级卷积神经网络[J]. 计算机应用, 2020, 40(12): 3451-3457.
[14]	刘宗甫, 袁征, 赵晨曦, 朱亮. 对PICO算法基于可分性的积分攻击[J]. 计算机应用, 2020, 40(10): 2967-2972.
[15]	郑卓然, 郑向伟, 田杰. 基于惩罚误差矩阵的同步预测无线体域网节能方法[J]. 计算机应用, 2019, 39(2): 513-517.

基于Hash函数的移动射频识别互认证安全协议设计

Authentication protocol of mobile RFID based on Hash function

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics