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. doi: 10.71330/thenucleus.2024.1404.