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), pp. 79–92. Available at: http://thenucleuspak.org.pk/index.php/Nucleus/article/view/1404 (Accessed: 10 January 2025).