Keyphrases
- group communication
- pedestrian detection
- vehicle speed
- real time
- theorem prover
- identity management
- vehicle detection
- security analysis
- theorem proving
- vehicle tracking
- key management
- communication systems
- security requirements
- communication networks
- key distribution
- lightweight
- key exchange
- linear logic
- data encryption
- traffic monitoring
- traffic conditions
- authentication protocol
- detection algorithm
- information systems