论文提出任务感知证明信封机制以解决自动驾驶时间关键动作的完整性验证问题

该研究针对自主系统请求特权物理动作时的完整性证据问题，提出了一种任务感知的运行时保证契约（mission-aware attestation），其有效性不仅取决于完整性是否有效，还要求证据足够新鲜且决策在基于当前物理状态推导出的预算内完成。研究通过硬件在环的车路协同平台评估了该机制，结果显示安全盲模型允许整个运行空间，而硬件感知模型仅允许四分之三的空间，且所有被拒绝的点均因新鲜度边界不足而非响应延迟导致。

实验数据表明，调整证明间隔的成本约等于五倍扩展延迟分布的成本，且该间隔可直接配置成为部署参数。研究指出一个关键发现：如果新鲜度边界未超过授权预算，那么所有延迟决策同时也是陈旧的，导致延迟变得不可观测，因此证明间隔和新鲜度边界不能仅从安全需求中选择，必须结合物理系统的实时状态预算进行联合设计。

事实层面，该工作已在MESAS 2026会议被接收并将于Springer LNCS发表，使用了TPM支持的路边单元和微控制器车载单元构建测试环境。推断层面，这意味着未来的自动驾驶安全架构需从静态完整性检查转向动态的时间敏感型验证，否则无法区分恶意篡改与系统过载导致的超时。猜测层面，这种机制可能成为车路协同中防止恶意指令注入的关键防线，但具体实施成本需进一步量化。