Model-based verification of privacy preserving authentication protocol for VANETs.
Brijesh Kumar ChaurasiaShekhar VermaPublished in: Int. J. Inf. Technol. Commun. Convergence (2012)
Keyphrases
- privacy preserving
- authentication protocol
- cryptographic protocols
- smart card
- privacy preserving data mining
- lightweight
- vertically partitioned data
- security analysis
- privacy preservation
- public key
- multi party
- sensitive information
- security protocols
- privacy concerns
- secret key
- data privacy
- privacy issues
- scalar product
- sensitive data
- horizontally partitioned data
- privacy protection
- secure multiparty computation
- rfid tags
- rfid systems
- differential privacy
- privacy sensitive
- power consumption
- nearest neighbor
- private information