Rehman, Mujeeb Ur, Department of Computer Science University of Management and Technology Lahore, Sialkot Campus, 51040, Pakistan, Pakistan

• The Nucleus Vol. 61 No. 2 (2024) - Articles
  Internet of Vehicles Environment Verification of Authentication Protocols using Formal Analysis: A Survey
  Abstract  PDF