A Hierarchical Privacy Preserving Pseudonymous Authentication Protocol for VANET | IEEE Journals & Magazine | IEEE Xplore