Khalid, K., Atta Ur Rahman, Ahthasham Sajid, Bibi Saqia, Mian, M.A.S. and Rehman, M.U. 2024. Internet of Vehicles Environment Verification of Authentication Protocols using Formal Analysis: A Survey. The Nucleus. 61, 2 (Dec. 2024), 79–92.