Security Analysis for Vehicle Area Networks Protocol Using AVISPA

Simple item page
dc.contributor.authorAlahmar, Alaa
dc.contributor.supervisorGebali, Fayez
dc.contributor.supervisorAltawy, Riham
dc.date.accessioned2024-12-24T19:49:25Z
dc.date.available2024-12-24T19:49:25Z
dc.date.issued2024
dc.degree.departmentDepartment of Electrical and Computer Engineering
dc.degree.levelMaster of Engineering MEng
dc.description.abstractIn the era of smart transportation, Vehicle Area Networks (VANs) are critical in enabling secure communication between vehicles and infrastructure. This project examines the security robustness of the PUFGuard protocol, a physically unclonable function (PUF)-based authentication framework designed to protect Vehicle-to-Infrastructure (V2I) and Vehicle-to-Vehicle (V2V) communications in VANs. PUFGuard leverages the inherent uniqueness of PUFs for secure key generation and authentication, aiming to establish trust and resilience against adversarial attacks in dynamic, multi-hop communication environments. To validate PUFGuard’s resilience, this research employs formal verification tools—AVISPA and SPAN—to simulate and analyze its effectiveness against common network threats, including replay attacks, manin-the-middle attacks, and impersonation attacks. The protocol is modelled in the High-Level Protocol Specification Language (HLPSL), where each component of the V2I and V2V authentication processes is systematically represented. Results from the AVISPA tests highlight the protocol’s strengths and potential vulnerabilities, providing insights into the adequacy of PUFGuard’s security measures in real-world VAN applications. The findings of this study suggest refinements to fortify PUFGuard further, offering a framework for secure, authenticated communication in modern vehicular networks.
dc.description.scholarlevelGraduate
dc.identifier.urihttps://hdl.handle.net/1828/20896
dc.language.isoen
dc.rightsAvailable to the World Wide Web
dc.subjectPUFGaurd
dc.subjectAVISPA
dc.subjectVANs
dc.subjectSecurity
dc.subjectV2V
dc.subjectV2I
dc.titleSecurity Analysis for Vehicle Area Networks Protocol Using AVISPA
dc.typeproject

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Alahmar_Alaa_MEng_2024.pdf
Size:
349.02 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.62 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Graduate Projects (Electrical and Computer Engineering)
 
University of Victoria Libraries

We acknowledge and respect the Lək̓ʷəŋən (Songhees and Esquimalt) Peoples on whose territory the university stands, and the Lək̓ʷəŋən and W̱SÁNEĆ Peoples whose historical relationships with the land continue to this day.