PLEDGE: An IoT-oriented Proof-of-Honesty based Blockchain Consensus Protocol.

Imran Makhdoom Farzad Tofigh Ian Zhou Mehran Abolhasan Justin Lipman

Published in: LCN (2020)

Keyphrases

formal proof
management system
theorem proving
lightweight
rfid systems
early vision
directed networks
cryptographic protocols
theorem prover
distributed databases
key management
authentication protocol
application layer
formal analysis
multi party
smart objects
coloured petri nets