English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

In this position paper, we address the problems of automated road congestiondetection and alerting systems and their security properties. We reviewdifferent theoretical adaptive road traffic control approaches, and threewidely deployed adaptive traffic control systems (ATCSs), namely, SCATS, SCOOTand InSync. We then discuss some related research questions, and thecorresponding possible approaches, as well as the adversary model and potentialattack scenarios. Two theoretical concepts of automated road congestion alarmsystems (including system architecture, communication protocol, and algorithms)are proposed on top of ATCSs, such as SCATS, SCOOT and InSync, by incorporatingsecure wireless vehicle-to-infrastructure (V2I) communications. Finally, thesecurity properties of the proposed system have been discussed and analysedusing the ProVerif protocol verification tool.

Automated Road Traffic Congestion Detection and Alarm Systems: Incorporating V2I communications into ATCSs