A Lightweight Dual Authentication Protocol for the Internet of Vehicles | IEEE Conference Publication | IEEE Xplore