The security of vehicular ad hoc networks | Synapse