Bibi Saqia, Department of Computer Science, University of Science and Technology Bannu, 28100, 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