ASAP: An Anonymous Smart-Parking and Payment Scheme in Vehicular Networks | Synapse