Modeling and Verifying Privacy-Preserving Authentication Scheme for VANET Using CSP.
Ning QinHongyan MaoYiwen LiuKai ChenPublished in: COMPSAC (2023)
Keyphrases
- privacy preserving
- authentication scheme
- privacy preserving data mining
- privacy preservation
- vertically partitioned data
- sensitive information
- private information
- horizontally partitioned data
- multi party
- privacy preserving association rule mining
- privacy protection
- privacy concerns
- sensitive data
- secure multiparty computation
- scalar product
- user authentication
- data privacy
- similarity measure
- public key
- data storage
- personal information
- privacy sensitive
- smart card
- lightweight