💻 computer science

A Systematic Security Analysis for Path-based Traceability Systems in RFID-Enabled Supply Chains

本文通过一个统一的框架，对17种基于RFID的供应链追溯解决方案进行了系统的安全性分析，旨在识别关键漏洞并评估其针对伪造和篡改等攻击的安全声明。

原作者： Fokke Heikamp, Lei Pan, Robin Doss, Rolando Trujillo-Rasua, Sushmita Ruj

发布于 2026-01-15

📖 1 分钟阅读☕ 轻松阅读

原作者： Fokke Heikamp, Lei Pan, Robin Doss, Rolando Trujillo-Rasua, Sushmita Ruj

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，供应链就像是产品一段漫长且曲折的旅程，好比一个包裹从工厂运送到商店的过程。在途中，它会停留在各种检查站（仓库、卡车、分销中心）。为了确保产品是真实的且未被篡改，我们使用 RFID 标签——一种附着在产品上的微型数字身份证。这些标签在每个检查站都会被扫描仪“盖章”，从而创建一段数字历史，或者说一段追踪记录（trace）。

你提供的这篇论文就像是对 17 个旨在保护这些数字历史的安全系统进行的一次大规模安全审计。作者们是一支安全研究团队，他们想回答一个简单的问题：如果坏人试图欺骗系统，这些解决方案能否抓住他们？

以下是利用简单类比对他们研究结果的拆解：

1. 目标：“完美的旅程”

研究人员定义了什么是“安全”的旅程。想象一下游客参观城市。一个安全的系统应该证明两件事：

空间真实性（你确实在那里）： 游客确实参观了埃菲尔铁塔。
时间真实性（你按顺序前往）： 游客是在参观卢浮宫之前先去了埃菲尔铁塔，而不是之后。

许多现有系统声称可以做到这一点，但研究人员发现，大多数系统都缺失了拼图的关键部分。他们构建了一个新的**“安全框架”**（就像一份通用的清单），用以针对特定类型的作弊行为来测试这些系统。

2. “作弊码”：攻击者如何尝试入侵

论文将黑客试图伪造产品真实性的方式进行了分类。把这些看作是电子游戏中的“作弊码”：

“幽灵步骤”（Ghost-step Attack）： 黑客声称产品访问了一个它从未进入过的仓库。这就像一名学生声称自己参加了一场他其实翘掉的课。
“跳过步骤”（Skip-step Attack）： 产品确实访问了某个仓库，但黑客删除了那条记录，以掩盖其参与过程。这就像小偷偷走了画作，却抹去了监控录像中显示其进入房间的画面。
“时空旅行者”（Out-of-order Attack）： 产品访问了地点，但顺序错误。想象一辆汽车在驶离组装线之后才进行喷漆。系统声称喷漆发生在先，这其实是谎言。
“绕道行为”（Reroute Attack）： 产品走了一条未经授权的秘密路径。这就像一名快递员为了节省时间而走了一条禁止通行区的捷径，但系统却声称他走的是官方高速公路。
“身份窃取者”（Privacy/Linking Attack）： 黑客可以将不同的产品关联起来，或者查出谁拥有什么，从而侵犯隐私。这就像某人仅通过查看你的会员卡就能追踪你的整个购物历史。

3. 结果：17 个系统的评分表

研究人员针对这些“作弊码”测试了 17 个流行的系统。结果令人警醒：几乎每个系统都有弱点。

“时空旅行者”无处不在： 几个系统（如 Tracker 和 Ray et al.）未能通过“时空旅行者”测试。它们无法证明产品是以正确的顺序访问检查站的。黑客可以轻易地调换事件的顺序，而系统却察觉不到。
“幽灵步骤”很常见： 一些系统（如 ReSC）容易受到“幽灵步骤”攻击。一个不诚实的扫描仪可以为标签添加一个虚假的印记，系统就会相信产品去了一个它从未去过的地方。
“隐私泄露”： 像 RF-Chain 这样的系统存在严重的隐私缺陷。尽管它们试图隐藏产品的身份，但其加密数据的方式就像是用紫外线灯就能看清的隐形墨水写成的秘密信息。黑客可以关联不同的产品，从而打破隐私承诺。
“授权差距”： 许多系统甚至不会检查产品是否“被允许”前往该地。这就像夜店保安检查了你的身份证，却没检查你是否在宾客名单上。如果一个本该进入安全保险库的产品最终出现在公共市场，这些系统无法识别出来。

4. 核心结论

论文得出结论：虽然我们已经建立了许多华丽的系统来追踪产品，但我们还没有建立足够安全的系统。

“罗塞塔石碑”问题： 作者认为，当人们定义“安全性”时，大家使用的语言各不相同。有些人只关注隐私，有些人只关注防止伪造。作者创建了一个单一的“罗塞塔石碑”（他们的框架），将所有这些不同的目标转化为一种清晰的语言，从而揭示了大多数系统在基础安全测试中的失败。
“密钥”问题： 许多系统依赖于“密钥”来运行。如果黑客偷走了一个密钥（或者一名不诚实的员工拥有密钥），整个系统都可以被伪造。研究人员发现，许多设计并没有解释最初该如何安全地分发这些密钥。

总结

简而言之，这篇论文是给供应链行业的一次现实警示。它在说：“我们拥有优秀的追踪产品技术，但我们的安全计划漏洞百出。”研究人员发现，坏人可以利用这些旨在保护产品的系统，轻松地重排产品的历史、伪造其位置或窃取其身份。他们不仅指出了这些漏洞，还提供了一张新的地图（该框架），以帮助工程师在未来构建更强大、更诚实的系统。

技术摘要：针对 RFID 赋能供应链中基于路径的可追溯性系统的系统性安全分析

问题陈述

利用 RFID 和物联网（IoT）技术的追溯系统在供应链中已变得十分普遍，用以应对伪造、盗窃、篡改和产品召回等挑战。这些系统通过为产品的制造和分销生命周期创建不可篡改的记录来发挥作用。然而，现有的追溯解决方案往往存在结构化不足或不完整的安全需求，导致关键漏洞未能得到解决。

识别出的核心问题是，虽然追溯系统被设计为防御机制，但它们本身已成为攻击者的目标。一种特定的威胁涉及攻击者操纵产品的“轨迹（trace）”。例如，伪造者可能会修改假产品的轨迹以匹配真实产品的轨迹，从而欺骗系统将其接受为正品。提供全面安全分析的困难在于，当前文献中对“可追溯性”的定义往往过于宽泛且非正式。此外，现有的安全框架要么局限于特定层级（例如仅数据载体层），要么依赖于非正式的威胁分析，这阻碍了不同解决方案之间的客观比较。

方法论

作者提出了一种新型的系统性安全框架，旨在评估基于路径的追溯系统。该方法包括以下步骤：

可追溯性的形式化定义： 本文将追溯性封装在一个基于“路径（paths）”的形式化模型中。一个追溯系统被定义为一个五元组 $(R, T, B, ds, I) $，包含阅读器 ($ R $)、标签 ($ T $)、后端服务器 ($ B $)、数据共享服务器 ($ ds $) 和发行方 ($ I $)。系统的行为由其产生的轨迹集合来定义，其中一条轨迹是包括物理移动 ($ Move $) 和路径陈述 ($ Path$) 在内的事件序列。
安全属性： 该框架根据路径建立了特定的安全属性：
- 完备性（Soundness）： 声称路径中的所有阅读器都曾被标签物理访问过。
- 完整性（Completeness）： 声称的路径包含了标签访问过的所有阅读器（没有跳步）。
- 有序性（Sortedness）： 声称的路径按正确的时序排列阅读器。
- 授权性（Authorization）： 声称的路径是由受信任实体定义的有效路径的前缀。
- 隐私性（Privacy）： 系统防止攻击者确定两个标签是否共享步骤，或两个标签是否为同一个。
对手模型： 分析采用了两种 Dolev-Yao 对手模型：
- AdvT： 能够破坏标签但不能破坏阅读器的对手。
- AdvR： 能够同时破坏标签和阅读器的对手。
- 通常假设后端服务器是可信的。
攻击分类法： 作者将基于路径的攻击分为三类：
- 认证攻击： 失序攻击、跳步攻击、重路由攻击和幽灵步攻击（ghost-step attacks）。
- 授权攻击： 未经授权的路径攻击。
- 隐私攻击： 路径泄露和标签泄露。
评估过程： 该框架被应用于学术文献中发现的 17 种主流追溯解决方案。每种解决方案都被转化为通用模型，并在指定的对手模型下对其抵御上述攻击的能力进行了评估。

核心贡献

统一的安全框架： 本文提出了首个专门针对基于路径的追溯系统进行大规模安全评估的框架。它统一了路径认证协议的形式化精确性与供应链追溯的更广泛范围。
对 17 种方案的系统性分析： 作者客观地比较了 17 种现有的追溯解决方案，识别出了此前未被报告或被忽视的具体弱点和漏洞。
攻击分类法： 引入了一个全面的基于路径的攻击分类法，将特定的异常（如失序、幽灵步）映射到安全属性违规。
识别关键差距： 分析表明，许多现有解决方案未能满足基本的安全要求，如路径完整性、有序性或授权性，这通常是由于原始设计中缺乏结构化的安全定义造成的。

结果

将该框架应用于 17 种追溯解决方案后，得到了以下显著发现：

普遍脆弱性： 当涉及被动阅读器时，所有被分析的追溯系统都容易受到重路由攻击（rerouting attacks）。
广泛的授权缺陷： 大量解决方案容易受到未经授权的路径攻击。
排序问题： 许多解决方案不要求按特定顺序访问阅读器，使其容易受到**失序攻击（out-of-order attacks）**的影响。典型的例子包括 Ray et al. [10] 和 Tracker [22]。
识别出的特定漏洞：
- RF-Chain [11]： 由于哈希值的重用，易受到违反路径隐私的链接攻击（linking attack），从而允许攻击者关联记录。它还容易受到哈希长度扩展攻击的影响。
- Burbridge and Soppera [4]： 在 AdvR 模型下，易受到授权攻击，即不诚实的阅读器可以绕过策略约束。
- ReSC [13]： 在 AdvR 模型下，易受到冒充攻击和密钥泄露的影响，因为存储在标签上的会话密钥可以被受损的阅读器提取。
- SupAuth [7]： 如果单个阅读器被破坏（AdvR 模型），则易受到伪造攻击，因为所有阅读器共享同一个密钥。
- SecTTS [34]： 由于通信未加密以及依赖虚假条目来实现隐私，缺乏对重放攻击和冒充攻击的抵抗力。
- Tracker [22] 和 Cai et al. [27]： 由于其多项式编码的交换性质，易受到失序攻击。
缺失的功能： 许多声称具备路径授权功能的方案，未能解释如何安全地分发授权策略。此外，路径完整性很少能实现，因为这通常需要标准 RFID 系统中并不存在的强假设（例如 GPS）。

意义与主张

本文声称提供了针对 RFID 赋能的追溯解决方案的首次大规模、系统性的安全评估。其意义在于将焦点从非正式的安全声明转向严谨的、基于路径的分析，从而揭示了当前设计的根本性缺陷。

作者断言，他们的框架是理解和比较追溯系统的“罗塞塔石碑（Rosetta Stone）”，提供了比以往更精确的可追溯性定义。他们强调，缺乏简单有效的安全框架，很可能是导致许多现有解决方案缺乏安全分析的原因。通过证明即使是著名的系统也存在关键漏洞（如失序执行和隐私泄露），本文强调了开发更强大的、能够全面解决路径属性安全设计的紧迫性。作者谦虚地指出，其分析是半形式化的，未来的工作应致力于使用 Tamarin 等形式化验证工具进行完全的数学严谨性分析，并将其范围扩展到其他追踪技术及非基于路径的安全属性。