Securing Road Traffic Congestion Detection by Incorporating V2I Communications

Vinh Thong Ta; Amit Dvir; Yalin Arie

doi:10.1109/WoWMoM.2018.8449746

Securing Road Traffic Congestion Detection by Incorporating V2I Communications

Vinh Thong Ta, Amit Dvir, Yalin Arie

Department of Computer Science

Ariel University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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.

Original language	American English
Title of host publication	19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018
DOIs	https://doi.org/10.1109/WoWMoM.2018.8449746
State	Published - 28 Aug 2018
Event	19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018 - Chania, Greece Duration: 12 Jun 2018 → 15 Jun 2018

Publication series

Name	19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018

Conference

Conference	19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018
Country/Territory	Greece
City	Chania
Period	12/06/18 → 15/06/18

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 11 Sustainable Cities and Communities

Keywords

Road Traffic
Security
V2I

All Science Journal Classification (ASJC) codes

Computer Networks and Communications
Media Technology

Access to Document

10.1109/WoWMoM.2018.8449746

Cite this

Ta, V. T., Dvir, A., & Arie, Y. (2018). Securing Road Traffic Congestion Detection by Incorporating V2I Communications. In 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018 Article 8449746 (19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018). https://doi.org/10.1109/WoWMoM.2018.8449746

@inproceedings{ef4f141720494289b432ca122c2a1171,

title = "Securing Road Traffic Congestion Detection by Incorporating V2I Communications",

abstract = "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.",

keywords = "Road Traffic, Security, V2I",

author = "Ta, {Vinh Thong} and Amit Dvir and Yalin Arie",

note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018 ; Conference date: 12-06-2018 Through 15-06-2018",

year = "2018",

month = aug,

day = "28",

doi = "10.1109/WoWMoM.2018.8449746",

language = "American English",

isbn = "9781538647257",

series = "19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018",

booktitle = "19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018",

}

Ta, VT, Dvir, A & Arie, Y 2018, Securing Road Traffic Congestion Detection by Incorporating V2I Communications. in 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018., 8449746, 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018, 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018, Chania, Greece, 12/06/18. https://doi.org/10.1109/WoWMoM.2018.8449746

Securing Road Traffic Congestion Detection by Incorporating V2I Communications. / Ta, Vinh Thong; Dvir, Amit; Arie, Yalin.
19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018. 2018. 8449746 (19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Securing Road Traffic Congestion Detection by Incorporating V2I Communications

AU - Ta, Vinh Thong

AU - Dvir, Amit

AU - Arie, Yalin

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 - Conference contribution

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

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 -

Securing Road Traffic Congestion Detection by Incorporating V2I Communications

Abstract

Publication series

Conference

UN SDGs

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this