Achieving Efficient Cooperative Message Authentication in Vehicular Ad Hoc Networks | Synapse