An efficient and dynamic pseudonyms change system for privacy in VANET | IEEE Conference Publication | IEEE Xplore