A Pseudonym Management System to Achieve Anonymity in Vehicular Ad Hoc Networks | IEEE Journals & Magazine | IEEE Xplore