Khalid K, Atta Ur Rahman, Ahthasham Sajid, Bibi Saqia, Mian MAS, Rehman MU. Internet of Vehicles Environment Verification of Authentication Protocols using Formal Analysis: A Survey. The Nucleus [Internet]. 2024 Dec. 13 [cited 2024 Dec. 23];61(2):79-92. Available from: http://202.83.167.189/index.php/Nucleus/article/view/1404