RFID超轻量级认证协议RCIA形式化分析与改进

• 作者: 李伟 李娅楠 肖美华 谌佳 钟小妹
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: RFID RCIA协议 形式化方法 模型检测 去同步攻击
• 年，卷（期）: 2018,（12）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 2183-2192
• 页数: 10页
• 分类号: TP393
• 字数: 7360字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2018.12.012

摘要

无线射频识别 (RFID) 是物联网中的一种非接触式的自动识别技术, 被广泛运用于构建物物互联的RFID系统.RCIA是一种超轻量级RFID双向认证协议, 提供高安全性并声称能抵御去同步攻击.形式化方法是安全协议分析的有力手段.运用模型检测工具SPIN对RCIA协议的认证性及一致性进行验证, 结果表明RCIA协议存在去同步攻击漏洞.针对此漏洞, 提出基于密钥同步机制的修补方案, 对RCIA协议进行了改进.对改进后的协议进行形式化分析与验证, 结果表明改进后的RCIA协议具有更高的安全性.提出的协议抽象建模方法对此类超轻量级RFID双向认证协议形式化分析具有重要借鉴意义;提出的基于密钥同步机制的漏洞修补方案, 被证明能有效抵御去同步漏洞, 可适用于此类超轻量级RFID双向认证协议的设计和分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李伟	华东交通大学软件学院	16	86	7.0	9.0
2	钟小妹	华东交通大学软件学院	9	8	2.0	2.0
3	肖美华	华东交通大学软件学院	18	92	6.0	9.0
4	李娅楠	华东交通大学软件学院	7	18	3.0	4.0
5	谌佳	华东交通大学软件学院	1	0	0.0	0.0