Security analysis for fixed-time traffic control systems. (September 2020)
- Record Type:
- Journal Article
- Title:
- Security analysis for fixed-time traffic control systems. (September 2020)
- Main Title:
- Security analysis for fixed-time traffic control systems
- Authors:
- Lopez, Anthony
Jin, Wenlong
Al Faruque, Mohammad Abdullah - Abstract:
- Highlights: There is a need for a secure-by-design tool for transportation systems. Attack models made based on the link queue model and double ring road network model. Attacks target control response time, traffic flow performance, and/or stability. System states are analytically identified as vulnerable to attacks. Analysis and simulations demonstrate effectiveness of attacks on vulnerable states. Abstract: Wireless communication is being used as an enabling technology with traditional fixed traffic control systems in this transitional era toward Intelligent Transportation Systems (ITS). Unfortunately, major security concerns have arisen with respect to ever-increasing complexity and interconnectivity, and a noticeable lack of attention for security in these systems. Addressing concerns is a colossal challenge as it requires thorough development and formal analysis of a system model with respect to security. To tackle this challenge, we present a novel formal attack modeling and impact analysis methodology based on the Link Queue Model (LQM) of traffic flow inside a double ring road network, which is equivalent to a grid network with homogeneous links. We develop attack models as functions of tampered traffic control settings (e.g., green time ratios, cycle length, retaining ratios) with outputs equivalent to mobility impacts on the traffic network (e.g., time until system reaches state convergence, asymptotic average network flow). Further, for a given attack model, weHighlights: There is a need for a secure-by-design tool for transportation systems. Attack models made based on the link queue model and double ring road network model. Attacks target control response time, traffic flow performance, and/or stability. System states are analytically identified as vulnerable to attacks. Analysis and simulations demonstrate effectiveness of attacks on vulnerable states. Abstract: Wireless communication is being used as an enabling technology with traditional fixed traffic control systems in this transitional era toward Intelligent Transportation Systems (ITS). Unfortunately, major security concerns have arisen with respect to ever-increasing complexity and interconnectivity, and a noticeable lack of attention for security in these systems. Addressing concerns is a colossal challenge as it requires thorough development and formal analysis of a system model with respect to security. To tackle this challenge, we present a novel formal attack modeling and impact analysis methodology based on the Link Queue Model (LQM) of traffic flow inside a double ring road network, which is equivalent to a grid network with homogeneous links. We develop attack models as functions of tampered traffic control settings (e.g., green time ratios, cycle length, retaining ratios) with outputs equivalent to mobility impacts on the traffic network (e.g., time until system reaches state convergence, asymptotic average network flow). Further, for a given attack model, we define and identify vulnerable states: states that are critical to protect because they lead to negative impacts under the given attack model. Using our methodology we found that for certain vulnerable states, after only a few cycles of tampered control settings an attacker could cause a real impact of 1.5x speed-up in gridlock state convergence or 37%-99% drop in the asymptotic average flow rate. These results imply potentially drastic financial costs for cities and all involved drivers if similar attacks were performed on a real traffic control system. … (more)
- Is Part Of:
- Transportation research. Volume 139(2020)
- Journal:
- Transportation research
- Issue:
- Volume 139(2020)
- Issue Display:
- Volume 139, Issue 2020 (2020)
- Year:
- 2020
- Volume:
- 139
- Issue:
- 2020
- Issue Sort Value:
- 2020-0139-2020-0000
- Page Start:
- 473
- Page End:
- 495
- Publication Date:
- 2020-09
- Subjects:
- Security -- Link queue model -- Double ring road network -- Stability -- Traffic flow -- Fixed-time traffic control -- Intelligent transportation systems
Transportation -- Research -- Periodicals
Transportation -- Mathematical models -- Periodicals - Journal URLs:
- http://www.elsevier.com/journals ↗
http://www.sciencedirect.com/science/journal/01912615 ↗ - DOI:
- 10.1016/j.trb.2020.07.002 ↗
- Languages:
- English
- ISSNs:
- 0191-2615
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 9026.274610
British Library DSC - BLDSS-3PM
British Library HMNTS - ELD Digital store - Ingest File:
- 13731.xml