Securing Road Traffic Congestion Detection by Incorporating V2I Communications

Keyphrases

• Security Properties 100%
• V2I Communication 100%
• Road Traffic Congestion 100%
• Induction Loop 100%
• Adaptive Traffic Control System 100%
• Traffic Congestion Detection 100%
• Urban Areas 50%
• Detection System 50%
• Communication Protocol 50%
• Green Time 50%
• Road Congestion 50%
• Traffic Congestion 50%
• System Architecture 50%
• Scat 50%
• SCOOT 50%
• Road Congestion Detection 50%
• InSync 50%
• Verification Tool 50%
• Secure Wireless Communication 50%
• Protocol Verification 50%
• ProVerif 50%
• Alarm System 50%
• Communication Algorithms 50%
• Vehicle-to-infrastructure (V2I) Communication 50%

Computer Science

• Security Properties 100%
• Traffic Control System 100%
• Communication Protocol 50%
• System Architectures 50%
• Protocol Verification 50%