On Modeling and Testing Security Properties of Vehicular Networks.

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

Published in: ICST Workshops (2014)

Keyphrases

security properties
security requirements
security analysis
vehicular networks
security protocols
data mining
data streams
network topology
modeling language
cryptographic protocols
network coding