A New Decentralized Certification Verification Privacy Control Protocol.
Omar S. SalehOsman GhazaliNorbik Bashah IdrisPublished in: CRC (2021)
Keyphrases
- cryptographic protocols
- formal analysis
- rfid systems
- control system
- protocol specification
- authentication protocol
- formal proof
- lightweight
- privacy preserving
- personal information
- vertically partitioned data
- formal verification
- model checking
- multi agent
- model checker
- decentralized control
- floor control
- social networks
- user privacy
- communication protocols
- elliptic curve
- differential privacy
- private information
- information loss
- cooperative