CommPact：评估自动驾驶车队契约机制的可行性

在自动驾驶编队（AV platooning）场景中，车辆通常以极小跟车距离行驶，以提升交通密度和燃油效率。若其中一辆车被攻陷并突然急刹，后续车辆往往难以避免碰撞。本文提出一种主动式编队安全方案：自动驾驶契约。该方案利用安全 enclave 强制执行各车共同约定的驾驶规则，例如在契约生效期间限制最大制动强度。我们重点研究在最坏紧急情形且同时遭受攻击时，能否快速终止契约并尽快恢复车辆完全自主控制。基于 Intel SGX enclave 的原型实现与真实车载单元（OBU）无线测试结果表明：在紧急情况下，自动驾驶契约可被快速且安全终止，同时保持每 10 小时低于 0.001% 的误报率。对于 8 车编队，从攻击检测到安全分离并恢复个体自主性可在 1.5 秒内完成，小规模编队更快。结果说明，契约机制带来的额外安全性对车厂具有实际净收益。

会议文章

发表在 2018 IEEE Vehicular Networking Conference