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

Computer Science

School of Physical Sciences and Computing
University of Central Lancashire
Ariel University Center of Samaria

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding (ISBN) › peer-review

3 Citations (Scopus)

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	English
Title of host publication	19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Print)	9781538647257
DOIs	https://doi.org/10.1109/WoWMoM.2018.8449746
Publication status	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 9 Industry, Innovation, and Infrastructure
SDG 11 Sustainable Cities and Communities

Keywords

Road Traffic
Security
V2I

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). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/WoWMoM.2018.8449746

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

@inproceedings{93b756e8849a46dd87e0ea91e8e79430,

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 = "English",

isbn = "9781538647257",

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

publisher = "Institute of Electrical and Electronics Engineers Inc.",

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

address = "United States",

}

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, Institute of Electrical and Electronics Engineers Inc., 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. Institute of Electrical and Electronics Engineers Inc., 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 proceeding (ISBN) › 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 - https://www.scopus.com/pages/publications/85053780399

UR - https://www.scopus.com/pages/publications/85053780399#tab=citedBy

U2 - 10.1109/WoWMoM.2018.8449746

DO - 10.1109/WoWMoM.2018.8449746

M3 - Conference proceeding (ISBN)

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 -

Ta VT, Dvir A, Arie Y. 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. Institute of Electrical and Electronics Engineers Inc. 2018. 8449746. (19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2018). doi: 10.1109/WoWMoM.2018.8449746

Securing Road Traffic Congestion Detection by Incorporating V2I Communications

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this