Anonymity Analysis on Social Spot Based Pseudonym Changing for Location Privacy in VANETs | Synapse