Khalid, Khurram, Atta Ur Rahman, Ahthasham Sajid, Bibi Saqia, Mumtaz Ali Shah Mian, and Mujeeb Ur Rehman. “Internet of Vehicles Environment Verification of Authentication Protocols Using Formal Analysis: A Survey”. The Nucleus 61, no. 2 (December 13, 2024): 79–92. Accessed January 10, 2025. http://thenucleuspak.org.pk/index.php/Nucleus/article/view/1404.