A Secure Authentication Protocol for Internet of Vehicles | IEEE Journals & Magazine | IEEE Xplore