Anonymous and Lightweight Authentication for Secure Vehicular Networks | IEEE Journals & Magazine | IEEE Xplore