RAMV: ensuring resource-aware message verification in VANETs.

Zhengming Li Chunxiao Chigan

Published in: Secur. Commun. Networks (2011)

Keyphrases

model checking
email
information retrieval
verification method
case study
face verification
formal verification
high security
program chairs
vehicular ad hoc networks
expert systems
formal analysis
message delivery
message transmission