An Efficient Pseudonymous Authentication Scheme With Strong Privacy Preservation for Vehicular Communications | Synapse