C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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