Scaling VANET security through cooperative message verification.
Hongyu JinPanos PapadimitratosPublished in: VNC (2015)
Keyphrases
- cooperative
- message authentication codes
- high security
- security level
- public key
- image authentication
- security mechanisms
- integrity verification
- java card
- access control
- noisy channel
- security issues
- security requirements
- cryptographic protocols
- intrusion detection
- information security
- vehicular ad hoc networks
- security systems
- communication channels
- model checking
- computer security
- image encryption
- network security
- smart card
- security analysis
- security policies
- protocol specification
- game theory
- cyber security
- verification method
- messages exchanged