A new location verification protocol and blockchain-based drone rental mechanism in smart farming.

Shincheol Lee Ji Sun Shin

Published in: Comput. Electron. Agric. (2023)

Keyphrases

cryptographic protocols
formal analysis
model checking
computational model
model checker
protocol specification
communication protocol
asynchronous circuits
locking protocol
lightweight
signature verification
formal verification
application layer