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