Mian, Mumtaz Ali Shah, Depatrtment of Computer Science, University of Wah,Wah Cantt, 47040, 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