文献类型：期刊文章

作　　者：张兵[1,2] 马新新[3] 秦志光[2]

机构地区：[1]成都九洲电子信息系统股份有限公司 [2]电子科技大学计算机科学与工程学院 [3]中国人民解放军78046部队

出　　处：《电子科技大学学报》

基　　金：国家863项目(2008AA04A107)

年　　份：2013

卷　　号：42

期　　号：3

起止页码：425-430

语　　种：中文

收录情况：BDHX、BDHX2011、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：针对低成本RFID系统常用的基于Hash运算认证协议的安全性进行研究,分析了该类协议存在的安全缺陷和不足,给出设计低成本RFID认证协议满足安全需求的思路,提出了一种轻量级的RFID双向认证协议,运用BAN逻辑的形式化分析方法,对该协议的安全性进行证明。结果显示,该认证协议能满足RFID应用中面临的机密性、完整性和可追踪性的安全需求,可抵制跟踪、标签假冒、重放等攻击,弥补已有基于Hash运算的认证协议中存在的安全缺陷,更适合低成本RFID系统对应用安全的需求。

关 键 词：认证协议  形式化方法 哈希算法 射频识别 协议的安全性  

分 类 号：TP393.08]