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