An analysis of anonymity on capacity finite social spots based pseudonym changing for location privacy in VANETs | IEEE Conference Publication | IEEE Xplore