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