An Anonymous and Efficient Certificate-Based Identity Authentication Protocol for VANET | IEEE Journals & Magazine | IEEE Xplore