A Secure Cooperative Approach for Nonline-of-Sight Location Verification in VANET.

Osama Abumansoor Azzedine Boukerche

Published in: IEEE Trans. Veh. Technol. (2012)

Keyphrases

cryptographic protocols
model checking
integrity verification
vehicular ad hoc networks
security mechanisms
formal verification
location information
high security
lightweight
multi party
security requirements
user authentication
identity management
verification method
temporal logic
data encryption
covert channel