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