Provably Secure and Lightweight Authentication and Key Agreement Protocol for Fog-Based Vehicular Ad-Hoc Networks | IEEE Journals & Magazine | IEEE Xplore