Blockchain for secure location verification.

Mohammad Reza Nosouhi Shui Yu Wanlei Zhou Marthie Grobler Habiba Keshtiar

Published in: J. Parallel Distributed Comput. (2020)

Keyphrases

cryptographic protocols
integrity verification
high security
model checking
security issues
formal analysis
key management
formal verification
website
web services
lightweight
highly efficient
location information
key distribution