Toward a secure batch verification with group testing for VANET.
Cheng-Chi LeeYan-Ming LaiPublished in: Wirel. Networks (2013)
Keyphrases
- group testing
- disjoint sets
- cryptographic protocols
- integrity verification
- vehicular ad hoc networks
- security mechanisms
- high security
- security issues
- formal verification
- verification method
- functional verification
- security analysis
- model checking
- standard model
- data compression
- authentication scheme
- identity management
- image encryption
- neural network
- covert channel
- smart card
- asynchronous circuits
- security level
- encryption scheme
- formal methods