Towards Lightweight Authentication and Batch Verification Scheme in IoV | IEEE Journals & Magazine | IEEE Xplore