Khalid, Khurram, Atta Ur Rahman, Ahthasham Sajid, Bibi Saqia, Mumtaz Ali Shah Mian, and Mujeeb Ur Rehman. 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.