Khalid, K.; Atta Ur Rahman; Ahthasham Sajid; Bibi Saqia; Mian, M. A. S.; Rehman, M. U. Internet of Vehicles Environment Verification of Authentication Protocols Using Formal Analysis: A Survey. The Nucleus 2024, 61, 79-92.