Provably secure fog-based authentication protocol for VANETs. - Syed Muhammad Awais; Wu Yucheng; Khalid Mahmood 002; Hafiz Muhammad Sanaullah Badar; Rupak Kharel; Ashok Kumar Das (Comput. Networks, 2024)