Khalid, K., Atta Ur Rahman, Ahthasham Sajid, Bibi Saqia, Mian, M. A. S., & Rehman, M. U. (2024). Internet of Vehicles Environment Verification of Authentication Protocols using Formal Analysis: A Survey. The Nucleus, 61(2), 79–92. https://doi.org/10.71330/thenucleus.2024.1404