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