Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol

Felipe Boeira, Mikael Asplund

Vehicular networks will enable a range of novel applications to enhance road traffic efficiency, safety, and reduce fuel consumption. As for other cyber-physical systems, security…