计算机工程与科学

作者：贾昊洲, 徐鹏, 王丹琛, 徐扬,

单位：（1.系统可信性自动验证国家地方联合工程实验室，四川 成都 611756；2.西南交通大学数学学院，四川 成都 611756；3.四川省数字经济研究中心,四川 成都 610021）

关键词：RFID认证协议,混淆操作,分组循环操作,形式化验证,

基金：国家自然科学基金（61976130）;中央高校基本科研业务费专项资金（2682021GF012）

针对 RFID系统中存在的隐私和安全问题，提出了一种基于新型混淆操作的超轻量RFID认证协议，通过利用简单的逐位异或、循环左旋转和新提出的超轻量化分组循环操作，达到低复杂度、高安全性的目的。此外，由于在协议交互过程中的消息根据随机数生成，攻击者无法通过穷举来破解消息。分析与验证结果表明，所提协议可以有效地抵御常见的网络攻击类型，并且在计算和存储成本方面具备优势。

来源：2025年第2期

《计算机工程与科学》期刊编辑部

查看计算机工程与科学杂志2025年第2期