10.3969/j.issn.1007-130X.2018.12.012
RFID超轻量级认证协议RCIA形式化分析与改进
无线射频识别 (RFID) 是物联网中的一种非接触式的自动识别技术, 被广泛运用于构建物物互联的RFID系统.RCIA是一种超轻量级RFID双向认证协议, 提供高安全性并声称能抵御去同步攻击.形式化方法是安全协议分析的有力手段.运用模型检测工具SPIN对RCIA协议的认证性及一致性进行验证, 结果表明RCIA协议存在去同步攻击漏洞.针对此漏洞, 提出基于密钥同步机制的修补方案, 对RCIA协议进行了改进.对改进后的协议进行形式化分析与验证, 结果表明改进后的RCIA协议具有更高的安全性.提出的协议抽象建模方法对此类超轻量级RFID双向认证协议形式化分析具有重要借鉴意义;提出的基于密钥同步机制的漏洞修补方案, 被证明能有效抵御去同步漏洞, 可适用于此类超轻量级RFID双向认证协议的设计和分析.
RFID、RCIA协议、形式化方法、模型检测、去同步攻击
40
TP393(计算技术、计算机技术)
国家自然科学基金61163005,61562026;江西省主要学科学术与技术带头人项目2017XSDTR0105;江西省自然科学基金20161BAB202063;江西省教育厅科技项目GJJ170384
2019-05-31(万方平台首次上网日期,不代表论文的发表时间)
共10页
2183-2192