A Provably Secure Authentication and Key Exchange Protocol in Vehicular Ad Hoc Networks | Synapse