A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control

Yuri Gil Dantas, Vivek Nigam and Carolyn Talcott

IEEE Vehicular Networking Conference, VNC 2020, pp. 1-8

2020