PROACT: Parallel multi-miner proof of accumulated trust protocol for Internet of Drones.
Khaleel MershadPublished in: Veh. Commun. (2022)
Keyphrases
- tcp ip
- formal proof
- consumer trust
- wide area network
- ip address
- lightweight
- parallel implementation
- transmission control protocol
- internet protocol
- computer networks
- formal analysis
- trust model
- theorem prover
- trust evaluation
- parallel processing
- health information
- internet users
- transport protocol
- brokerage services
- privacy preserving