Automated Road Traffic Congestion Detection and Alarm Systems: Incorporating V2I communications into ATCSs
This is an incremental position paper addressing congestion detection and security for traffic management systems, relevant to urban planners and transportation engineers.
The paper tackles automated road congestion detection and alarm systems by proposing two theoretical concepts that incorporate secure V2I communications into existing adaptive traffic control systems (ATCSs) like SCATS, SCOOT, and InSync, and analyzes their security properties using the ProVerif tool.
In this position paper, we address the problems of automated road congestion detection and alerting systems and their security properties. We review different theoretical adaptive road traffic control approaches, and three widely deployed adaptive traffic control systems (ATCSs), namely, SCATS, SCOOT and InSync. We then discuss some related research questions, and the corresponding possible approaches, as well as the adversary model and potential attack scenarios. Two theoretical concepts of automated road congestion alarm systems (including system architecture, communication protocol, and algorithms) are proposed on top of ATCSs, such as SCATS, SCOOT and InSync, by incorporating secure wireless vehicle-to-infrastructure (V2I) communications. Finally, the security properties of the proposed system have been discussed and analysed using the ProVerif protocol verification tool.