Khalid, K., Atta Ur Rahman, Ahthasham Sajid, Bibi Saqia, Mian, M. A. S., & Rehman, M. U. (2024). Internet of Vehicles Environment Verification of Authentication Protocols using Formal Analysis: A Survey. The Nucleus, 61(2), 79–92. Retrieved from http://202.83.167.189/index.php/Nucleus/article/view/1404