基于Hash函数的RFID双向认证协议  

RFID Mutual Authentication Protocol Based on Hash Function

作　　者：高华 黄稳定 鲁俊 GAO Hua;HUANG Wen-ding;LU Jun(Academic Af fairs Of fice,University of Shanghai for Science and Technology, Shanghai 200093, China;The Third Institute, Ministry of Public Security,Shanghai 201204, China;Shanghai Electric Central Research Institute, Shanghai 200070, China)

机构地区：[1]上海理工大学教务处,上海200093 [2]公安部第三研究所,上海201204 [3]上海电气中央研究院,上海200070

出　　处：《软件导刊》2018年第12期208-212,216,共6页Software Guide

基　　金：国家自然科学基金项目(50975179)

摘　　要：为了改善RFID无线传感网络中读写器与标签之间安全隐私容易泄漏的问题,在现有安全协议研究基础上,提出一种改进的RFID双向认证协议。该协议包含读写器、电子标签双重认证,通过安全性检测可以有效抵御重传攻击、窃听、位置跟踪、非法读取以及假冒攻击等不安全问题,具有成本低、效率高、安全性好等优点。通过对协议建立理想化模型,利用BAN逻辑形式化分析方法从理论上证明其安全性。通过软件仿真模拟RFID系统,对读写器和标签的双向认证进行仿真测试,证明了协议的实用性。In order to improve issue of easy leak of privacy between readers and tags in RFID wireless sensor networks,an improved RFID bidirectional authentication protocol is proposed based on the existing security protocols.The protocol includes dual authentication of the reader and the tag,and it can effectively resist location tracking,retransmission attacks,eavesdropping and illegal reading and counterfeiting attacks and other unsafe problems through security analysis with advantages of low cost,high efficiency and high security advantages.BAN logic formalization analysis is used to prove the security of the protocol in theory by establishing an idealized model of the protocol.The two-way authentication of the reader and the tag is simulated by software simulation,which demonstrates the practicability of the protocol.

关 键 词：射频识别 安全认证协议 安全性分析 BAN逻辑 软件仿真 

分 类 号：TP309.7[自动化与计算机技术—计算机系统结构]