An Extensible and Effective Anonymous Batch Authentication Scheme for Smart Vehicular Networks | IEEE Journals & Magazine | IEEE Xplore