Khalid, K., 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, Dec. 2024, pp. 79-92, http://202.83.167.189/index.php/Nucleus/article/view/1404.