A Proof-of-Transactions Blockchain Consensus Protocol for Large-Scale IoT.
Zhendong AiWei CuiPublished in: IEEE Internet Things J. (2022)
Keyphrases
- database transactions
- transaction model
- correctness criterion
- formal proof
- management system
- locking protocol
- small scale
- database
- concurrency control protocols
- formal analysis
- distributed database systems
- replicated data
- linear logic
- theorem proving
- lightweight
- real world
- transaction processing systems
- correctness criteria
- transaction management
- rfid systems
- transaction processing
- theorem prover
- distributed databases
- databases