On the Security of a Secure Batch Verification with Group Testing for VANET.
Jianhong ZhangMin XuLiying LiuPublished in: Int. J. Netw. Secur. (2014)
Keyphrases
- group testing
- integrity verification
- cryptographic protocols
- security mechanisms
- high security
- security issues
- security requirements
- security measures
- disjoint sets
- security level
- security properties
- security analysis
- security management
- key management
- security protocols
- information security
- data encryption
- encryption scheme
- security model
- stream cipher
- data security
- security services
- authentication protocol
- access control
- key agreement
- private key
- security patterns
- security architecture
- key exchange protocol
- smart card
- image encryption
- model checking
- electronic voting
- security policies
- key exchange
- sensitive data
- resource constrained
- user authentication
- java card
- rfid systems
- identity management
- diffie hellman
- countermeasures
- digital rights management
- high assurance
- electronic payment
- authentication mechanism
- intrusion detection
- vehicular ad hoc networks
- trusted computing
- secure communication
- key agreement protocol
- advanced encryption standard
- public key cryptosystem
- digital signature
- digital signature scheme
- public key encryption
- password based authenticated key exchange