轻量级RFID双向认证协议设计与分析

被引:15
|
作者
张兵 [1 ,2 ]
马新新 [3 ]
秦志光 [2 ]
机构
[1] 成都九洲电子信息系统股份有限公司
[2] 电子科技大学计算机科学与工程学院
[3] 中国人民解放军78046部队
关键词
认证协议; 形式化方法; 哈希算法; 射频识别; 协议的安全性;
D O I
暂无
中图分类号
TP391.44 []; TP309 [安全保密];
学科分类号
0811 ; 081101 ; 081104 ; 081201 ; 0839 ; 1402 ; 1405 ;
摘要
针对低成本RFID系统常用的基于Hash运算认证协议的安全性进行研究,分析了该类协议存在的安全缺陷和不足,给出设计低成本RFID认证协议满足安全需求的思路,提出了一种轻量级的RFID双向认证协议,运用BAN逻辑的形式化分析方法,对该协议的安全性进行证明。结果显示,该认证协议能满足RFID应用中面临的机密性、完整性和可追踪性的安全需求,可抵制跟踪、标签假冒、重放等攻击,弥补已有基于Hash运算的认证协议中存在的安全缺陷,更适合低成本RFID系统对应用安全的需求。
引用
收藏
页码:106 / 111
页数:6
相关论文
共 6 条