TY - GEN
T1 - Securing Road Traffic Congestion Detection by Incorporating V2I Communications
AU - Ta, Vinh Thong
AU - Dvir, Amit
AU - Arie, Yalin
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/8/28
Y1 - 2018/8/28
N2 - In this paper, we address the security properties of automated road congestion detection systems. SCATS, SCOOT and InSync are three examples of Adaptive Traffic Control Systems (ATCSs) widely deployed today. ATCSs minimize the unused green time and reduce traffic congestion in urban areas using different methods such as induction loops and camcorders installed at intersections. The main drawback of these system is that they cannot capture incidents outside the range of these camcorders or induction loops. To overcome this hurdle, theoretical concepts for automated road congestion alarm systems including the system architecture, communication protocol, and algorithms are proposed. These concepts incorporate secure wireless vehicle-to-infrastructure (V2I) communications. The security properties of this new system are presented and then analyzed using the ProVerif protocol verification tool.
AB - In this paper, we address the security properties of automated road congestion detection systems. SCATS, SCOOT and InSync are three examples of Adaptive Traffic Control Systems (ATCSs) widely deployed today. ATCSs minimize the unused green time and reduce traffic congestion in urban areas using different methods such as induction loops and camcorders installed at intersections. The main drawback of these system is that they cannot capture incidents outside the range of these camcorders or induction loops. To overcome this hurdle, theoretical concepts for automated road congestion alarm systems including the system architecture, communication protocol, and algorithms are proposed. These concepts incorporate secure wireless vehicle-to-infrastructure (V2I) communications. The security properties of this new system are presented and then analyzed using the ProVerif protocol verification tool.
KW - Road Traffic
KW - Security
KW - V2I
UR - http://www.scopus.com/inward/record.url?scp=85053780399&partnerID=8YFLogxK
U2 - 10.1109/WoWMoM.2018.8449746
DO - 10.1109/WoWMoM.2018.8449746
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:85053780399
SN - 9781538647257
T3 - 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018
BT - 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018
Y2 - 12 June 2018 through 15 June 2018
ER -