A Batch Authentication Protocol Based on Small Exponent Test for Internet of Vehicles | IEEE Conference Publication | IEEE Xplore