A Hybrid Adaptive Transaction Injection Protocol and Its Optimization for Verification-Based Decentralized System.
Saumendra SenguptaChen-Fu ChiangBruno AndriamanalimananaJorge E. NovilloAli TekeogluPublished in: Future Internet (2019)
Keyphrases
- cryptographic protocols
- model checking
- optimization algorithm
- cooperative
- protocol specification
- optimization problems
- model checker
- global optimization
- formal analysis
- lightweight
- database transactions
- distributed systems
- optimization method
- concurrency control
- optimization model
- formal proof
- multi agent
- peer to peer
- payment scheme
- correctness criterion
- evolutionary algorithm
- tcp ip
- formal verification
- transaction model
- optimization process