Lightweight Authentication Protocols for Internet of Vehicles: Network Model, Taxonomy and Challenges | IEEE Conference Publication | IEEE Xplore