Scaling VANET Security Through Cooperative Message Verification.
Hongyu JinPanos PapadimitratosPublished in: CoRR (2020)
Keyphrases
- cooperative
- high security
- java card
- security mechanisms
- integrity verification
- security requirements
- information security
- security issues
- access control
- vehicular ad hoc networks
- cryptographic protocols
- network security
- intrusion detection
- computer security
- security systems
- model checking
- security policies
- messages exchanged
- face verification
- cyber security
- database systems
- statistical databases
- security properties
- multi agent systems
- communication protocols
- image encryption
- multi agent
- verification method
- security model
- high assurance
- smart card