Improving the Efficiency of a Message Validation System in a Vehicular Ad Hoc Network | Synapse