TY - JOUR
T1 - A secure road traffic congestion detection and notification concept based on V2I communications
AU - Ta, Vinh Thong
AU - Dvir, Amit
N1 - Publisher Copyright:
© 2020 Elsevier Inc.
PY - 2020/10
Y1 - 2020/10
N2 - Applying vehicular (V2X) communications in detecting traffic congestion is a promising approach, as smart and self-driving vehicles are equipped with sensors that can be used to detect an incident anywhere in real-time. Unfortunately, without appropriate security measures and careful design the communication can be vulnerable to malicious attacks, causing even more damage on the roads. Addressing these problems, we propose a high-level system architecture and a security protocol specifically designed for congestion detection based on vehicle-to-infrastructure (V2I) type communication. The security properties of our proposed approach are formally verified using the ProVerif tool, and its efficiency compared to the traditional traffic light systems is demonstrated through simulations with the Veins framework. Results show that our system is secure against a large set of attacks, and can have lower total travelling time compared to three traditional traffic light approaches based on induction loop, lane area detector/camera (installed near the junctions), and static lights.
AB - Applying vehicular (V2X) communications in detecting traffic congestion is a promising approach, as smart and self-driving vehicles are equipped with sensors that can be used to detect an incident anywhere in real-time. Unfortunately, without appropriate security measures and careful design the communication can be vulnerable to malicious attacks, causing even more damage on the roads. Addressing these problems, we propose a high-level system architecture and a security protocol specifically designed for congestion detection based on vehicle-to-infrastructure (V2I) type communication. The security properties of our proposed approach are formally verified using the ProVerif tool, and its efficiency compared to the traditional traffic light systems is demonstrated through simulations with the Veins framework. Results show that our system is secure against a large set of attacks, and can have lower total travelling time compared to three traditional traffic light approaches based on induction loop, lane area detector/camera (installed near the junctions), and static lights.
KW - Security
KW - Traffic congestion detection
KW - V2I communications
UR - http://www.scopus.com/inward/record.url?scp=85089524692&partnerID=8YFLogxK
U2 - 10.1016/j.vehcom.2020.100283
DO - 10.1016/j.vehcom.2020.100283
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85089524692
SN - 2214-2096
VL - 25
JO - Vehicular Communications
JF - Vehicular Communications
M1 - 100283
ER -