ALI: Anonymous Lightweight Inter-Vehicle Broadcast Authentication With Encryption | IEEE Journals & Magazine | IEEE Xplore