An efficient and secure navigation protocol based on vehicular cloud.
Chul SurYoungho ParkKyung Hyune RheePublished in: Int. J. Comput. Math. (2016)
Keyphrases
- cryptographic protocols
- covert channel
- lightweight
- data dissemination
- security protocols
- group communication
- security analysis
- key exchange protocol
- authentication protocol
- scalar product
- key distribution
- secure routing
- key agreement protocol
- vertically partitioned data
- privacy preserving
- provably secure
- cloud computing
- multi party
- security properties
- security model
- blind signature
- cryptographic algorithms
- tcp ip
- key management
- vehicular ad hoc networks
- secure multi party
- private cloud
- password authentication
- secure multiparty computation
- key establishment
- sensor networks
- electronic voting
- cloud storage
- diffie hellman
- rfid systems
- navigation systems
- digital signature
- formal analysis
- security requirements
- security issues