Search

Your search keyword '"Yalin Arie"' showing total 3 results
Start Over Author "Yalin Arie"
3 results on '"Yalin Arie"'

2. Securing Road Traffic Congestion Detection by Incorporating V2I Communications

Author

Yalin Arie, Amit Dvir, and Vinh Thong Ta

Subjects
050210 logistics & transportation, Computer science, business.industry, 05 social sciences, 020206 networking & telecommunications, 02 engineering and technology, Traffic congestion, Adaptive traffic control, Control system, 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, Global Positioning System, Systems architecture, Wireless, business, Communications protocol, Computer network, Drawback
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.

Published
2018
Full Text
View/download PDF

3. Securing Road Traffic Congestion Detection by Incorporating V2I Communications

Author

Ta, Vinh Thong, Dvir, Amit, Yalin, Arie, Ta, Vinh Thong, Dvir, Amit, and Yalin, Arie

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.

Published
2018

Catalog

Books, media, physical & digital resources
See catalog results