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://202.83.167.189/index.php/Nucleus/article/view/1404 (Accessed: 23 December 2024).