On Modeling and Testing Security Properties of Vehicular Networks.

Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli

Browse the full ICST paper archive.