论文标题

Wiggle:车辆排的物理挑战 - 响应验证

Wiggle: Physical Challenge-Response Verification of Vehicle Platooning

论文作者

Dickey, Connor, Smith, Christopher, Johnson, Quentin, Li, Jingcheng, Xu, Ziqi, Lazos, Loukas, Li, Ming

论文摘要

自动驾驶汽车排放有望提供许多好处,例如燃油效率,道路安全性,交通拥堵减少和乘客舒适性。排车辆以近距离和相同速度以单个文件的形式行驶。排组由合作自适应巡航控制(CACC)系统自主维护,该系统依赖于感觉数据和车辆到车辆(V2V)通信。实际上,V2V消息在缩短排量距离的同时保持安全性方面起着至关重要的作用。 V2V消息的完整性和源身份验证可以通过加密方法验证,但确定消息内容的真实性是一项更难的任务。 这项工作建立了物理访问控制机制,将V2V消息限制为排量成员。具体而言,我们旨在将要求将排的候选人与该排相对于排的数字身份绑定到其物理轨迹。我们提出了{\ em Wiggle}协议,该协议采用了物理挑战 - 响应交换,以证明要求被接纳为排的候选人实际上是遵循的。协议名称的灵感来自候选人挑战执行的随机纵向运动。 {\ em Wiggle}防止任何远程对手连接排并注入假CACC消息。与先前的工作相比,{\ em Wiggle}对预录攻击具有抵抗力,并且可以验证候选人是否直接在同一车道的验证者后面。

Autonomous vehicle platooning promises many benefits such as fuel efficiency, road safety, reduced traffic congestion, and passenger comfort. Platooning vehicles travel in a single file, in close distance, and at the same velocity. The platoon formation is autonomously maintained by a Cooperative Adaptive Cruise Control (CACC) system which relies on sensory data and vehicle-to-vehicle (V2V) communications. In fact, V2V messages play a critical role in shortening the platooning distance while maintaining safety. Whereas V2V message integrity and source authentication can be verified via cryptographic methods, establishing the truthfulness of the message contents is a much harder task. This work establishes a physical access control mechanism to restrict V2V messages to platooning members. Specifically, we aim at tying the digital identity of a candidate requesting to join a platoon to its physical trajectory relative to the platoon. We propose the {\em Wiggle} protocol that employs a physical challenge-response exchange to prove that a candidate requesting to be admitted into a platoon actually follows it. The protocol name is inspired by the random longitudinal movements that the candidate is challenged to execute. {\em Wiggle} prevents any remote adversary from joining the platoon and injecting fake CACC messages. Compared to prior works, {\em Wiggle} is resistant to pre-recording attacks and can verify that the candidate is directly behind the verifier at the same lane.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源