Emerging Security Protocol and Requirements for Connected and Autonomous Vehicles

  • Fatema Almehrezi

Student thesis: Master's Thesis


Connected and Autonomous vehicles (CAVs) are drive-less vehicles which equipped with modern and sophisticated technologies and systems to provide safe and efficient transportation for the users through sensing the environments. The rise of automated and connections capabilities granted by the CAV's allowed the system becomes more vulnerable to security. In recent years, CAV's became a favorite topic which attracted researchers, academics, and industries to introduce additional security requirements. Many researchers proposed a various protocol for establishing security in the communication. Most of the proposed protocols were focusing on parts of security services such as confidentiality, integrity, availability, and authentication. We analyzed several previously proposed solutions and ideas to protect the vehicle from the attacker (insider/outsider). We then introduced our protocol which improved security and features; also we build on the strengths of the previous ideas and solutions. We analyzed the security services provided by our protocol using the formal verification tool ProVerif.
Date of AwardDec 2018
Original languageAmerican English


  • Connected and Autonomous vehicles
  • eSIM
  • Confidentiality
  • Authentication
  • Availability
  • Integrity
  • Secure Protocol
  • ProVerif.

Cite this