Location Verification for VANETs Routing.

Ziwei Ren Wenfan Li Qing Yang

Published in: WiMob (2009)

Keyphrases

travel distance
routing algorithm
model checking
vehicular ad hoc networks
face verification
formal verification
routing protocol
routing problem
formal methods
artificial intelligence
image sequences
ad hoc networks
signature verification
wireless ad hoc networks