研究人员搭建了一套硬件在环车路协同系统，用于检查自动驾驶车辆需要采取行动时，安全判定是否仍有实际价值。该系统将平台完整性、证据时效和决策延迟纳入任务感知证明包络，表明可信证明可能来得太晚，也可能描述的是已经过时的系统状态，因而无法安全地授权时效性要求高的行动。
目录
研究人员搭建了什么？
研究人员搭建了一个测试系统，用于模拟车辆请求路侧基础设施授权其执行时效性要求高的行动。车路协同（V2I）连接将请求从车载单元（OBU）传送至路侧单元（RSU）。RSU 会核验请求方身份，并查询有关平台软件的硬件支持证据，然后返回判定结果。
该测试将 CARLA 驾驶模拟器与实体 OBU 和由 TPM 提供硬件支持的 RSU 相结合。CARLA 提供车辆的位置和速度，使研究人员无需进行道路实测，就能测试不同的接近距离和时序条件。RSU 会同时记录其判定结果以及用于得出该结果的完整性证据时间戳。这个时间戳至关重要：没有它，系统就无法判断证据描述的是平台当前状态，还是较早时的状态。
这项工作的核心贡献，是制定了一套判断证据何时可用于行动的规则，而不只是判断证据在密码学上是否有效。规则要求同时满足三个条件：被测平台通过完整性检查、证据足够新，以及决策必须在车辆的实际行动窗口关闭前到达。四种结果的判定方案将这些失败原因分别处理，而不是将其简化为单一的“允许”或“拒绝”。
主要结果是什么？
实验表明，必须结合实际时序来评估安全证据。研究得出的运行包络，是一组证据时效、决策延迟和车辆状态的组合；在这些条件下，RSU 仍能作出有用且安全的决策。如果模型忽略获取保障所需的成本，得到的运行包络就会比纳入硬件支持证明后的结果更大。在这项研究中，两者的差异主要体现在证据时效，而非决策延迟。
敏感性分析给出了两个具体对比。将延迟放大五倍，会使 19 个可行运行点消失。将证明间隔从配置的两秒延长至验证器容许的十秒，会使 22 个可行运行点消失。这些数字是受测运行包络中的运行点数量，并非对攻击者所需付出的努力的测量，也不能证明攻击能够导致这两种变化。
| 测试配置中的变化 | 对可行运行点的影响 |
|---|---|
| 延迟放大五倍 | 减少 19 个 |
| 证明间隔从 2 seconds 延长至 10 seconds | 减少 22 个 |
平台测量了端到端延迟、状态查询时长和证据时效；分析则考察了平均值、中位数、第 95 百分位数和观测到的最大延迟。论文正文未提供原始延迟数值，因此这里无法比较绝对响应时间。重要的是，观测到的最大延迟并非有保证的上界：研究没有确立执行时间或网络延迟的上界。
任务感知证明如何运作？
这套规则分别跟踪三个问题。证据有效吗？ 完整性测量必须表明，被测平台未违反其策略。证据足够新吗？ 证据时效必须在配置的限值以内。决策够及时吗？ 请求、检查和响应必须在车辆仍有足够时间行动时完成。
实际期限取决于请求所处的状态，包括车辆距离和速度。研究利用这些状态计算每个请求的行动窗口，再将其与测得的端到端决策时间进行比较。简言之，判定结果即便有效，也只有在相关的实际行动时机过去之前送达车辆，才有用。证据时效限值和响应期限是两个独立的边界：满足其中一个，并不保证同时满足另一个。
判定方案区分四种结果：所有条件均满足时允许；发现完整性违规时拒绝；证据过时时拒绝；有效且新鲜的决策到达过晚时拒绝。这种区分有助于操作人员辨别问题出在安全性还是时序上。不过，两者之间存在重要关联：如果新鲜度限值足够严格，所有迟到的决策都会被视为过时。根据规则的优先级，这类情况会标记为“过时”，因此不会出现单独的“迟到”结果。
测量覆盖了闭环中的若干部分，但并未分别测量每个组件。端到端延迟包括请求传输、身份核验、状态查询、策略评估和响应传输。研究也测量了状态查询时长，但没有单独分离其余各项。OBU 使用的服务质量等级与其他组件不同，因此每次端到端测量都会增加一次确认往返。
这对机器人技术为何重要？
机器人和自动驾驶车辆经常依据远程软件检查、传感器和通信共同形成的决策采取行动。对于时效性要求高的行动，即使安全判定正确，如果在机器人的安全行动窗口关闭后才到达，实际操作中也毫无用处。反过来，依据陈旧证据作出的快速决策，也可能让人产生不应有的信心。该包络提供了一种同时分析这两类风险的方法。
对系统设计人员而言，关键启示是，不能只从安全角度选择证明间隔。缩短间隔有助于保持证据新鲜，但会改变运行包络；通信负载和验证时间也会影响决策能否及时作出。合适的设置取决于任务的实际时间窗口，以及保障流程经测量得到的成本。操作人员在评估联网自主系统（包括依赖基础设施服务的移动机器人）时，也可以采用相同的分析思路。比较不同平台的团队还可以浏览在售二手机器人。
这项研究并未证明该方法能确保每项行动都安全。它提供了一种信息更丰富的授权判定方式，能够区分完整性受损、证明过时和错过期限。这有助于开发人员诊断系统为何拒绝某项行动，也能帮助运营团队判断安全策略是否符合部署的时序要求。
有哪些局限和未解问题？
测试采用硬件在环设置，而非真实道路部署。CARLA 提供实际场景，而研究测量的是特定 OBU、路侧单元、验证器接口和通信配置。更换硬件、网络或工作负载，可能会得到不同的运行包络。论文还报告了观测到的最大值，而非有保证的最坏情况响应时间，因为研究没有确立执行延迟或网络延迟的上界。
威胁模型允许出现恶意 OBU、对被测软件的文件篡改，以及任意信道流量。模型假定攻击者无法伪造平台完整性证据、绕过测量策略或攻陷被控对象。研究人员没有实施攻击；敏感性结果描述的是运行包络如何变化，而非对手在实践中是否能造成这些变化。篡改测试展示的是在非对抗性的判定流程下，系统能够检测到策略覆盖范围内的修改，而非能够防范判定节点遭到攻陷。
读者需要了解什么？
有效的证明能否证明机器人可以安全行动？ 不能。证据还必须足够新，决策也必须在实际期限前到达。
证明包络代表什么？ 它表示在受测条件下，完整性、证据时效和决策时序都满足规则的条件集合。
为什么要将过时和迟到的决策分开处理？ 证据过时关注的是证明有多旧；迟到关注的是决策是否及时送达。一个决策可能同时不满足这两个条件，此时规则优先标记为过时。
这项研究是否证明攻击者能够拖慢系统？ 不能。研究测量了延迟放大时可行运行区域如何变化，但没有确定攻击者需要付出的努力，也没有展示实际攻击。
结论是什么？
只有在安全证据有效、足够新且及时送达时，它才能支持自主行动。这项 V2I 研究说明，为何应将这些条件纳入同一套任务感知决策规则，同时也明确指出，实测性能并非最坏情况保证。
机器人团队应如何权衡安全证据的新鲜度与可供行动的时间？