自动道路交通拥堵检测和报警系统：将V2I通信扩展到ATC中
Automated Road Traffic Congestion Detection and Alarm Systems: Incorporating V2I communications into ATCSs
摘要：
在这份立场文件中，我们解决的问题，自动道路拥堵检测和报警系统及其安全性能。我们回顾了不同的理论自适应道路交通控制方法，和三个广泛部署的自适应交通控制系统（ATCS），即SCATS，SCOOT和InSync。然后，我们讨论了一些相关的研究问题，和相应的可能的方法，以及对手模型和潜在的攻击场景。在SCATS、SCOOT和InSync等ATCS的基础上，结合安全的无线V2I通信，提出了两种自动道路拥堵报警系统的理论概念（包括系统结构、通信协议和算法）。最后，该系统的安全性能进行了讨论和分析，使用ProVerif协议验证工具。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
