Message Authentication Using Proxy Vehicles in Vehicular Ad Hoc Networks | Synapse