摘要:无线射频识别(RFID)是物联网中的一种非接触式的自动识别技术,被广泛运用于构建物物互联的RFID系统。RCIA是一种超轻量级RFID双向认证协议,提供高安全性并声称能抵御去同步攻击。形式化方法是安全协议分析的有力手段。运用模型检测工具SPIN对RCIA协议的认证性及一致性进行验证,结果表明RCIA协议存在去同步攻击漏洞。针对此漏洞,提出基于密钥同步机制的修补方案,对RCIA协议进行了改进。对改进后的协议进行形式化分析与验证,结果表明改进后的RCIA协议具有更高的安全性。提出的协议抽象建模方法对此类超轻量级RFID双向认证协议形式化分析具有重要借鉴意义;提出的基于密钥同步机制的漏洞修补方案,被证明能有效抵御去同步漏洞,可适用于此类超轻量级RFID双向认证协议的设计和分析。
关键词:rfid rcia协议 形式化方法 模型检测 去同步攻击
单位:华东交通大学软件学院; 江西南昌330013
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
相关期刊
Journal of Rare Earths Journal of Thermal Science Chinese Journal of Chemistry World Journal of Gastroenterology Frontiers of Information Technology Electronic Engineering International Journal of Sediment Research Journal of Tropical Meteorology Chinese Journal of Cancer Research Journal of Iron and Steel Research Chinese Journal of Polymer Science