Chained Transaction Protocol Automated Verification Using Cl-AtSe.
Catalin V. BîrjoveanuMirela BîrjoveanuPublished in: ICETE (Selected Papers) (2020)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- transaction model
- concurrency control protocols
- locking protocol
- commit protocols
- database transactions
- distributed databases
- concurrency control
- database
- temporal logic
- trusted third party
- deadlock free
- mobile payment
- formal analysis
- payment scheme
- transaction management
- transaction processing
- cryptographic protocols
- lightweight
- correctness criteria
- secure electronic
- graph theory
- database systems
- snapshot isolation
- theorem prover
- probabilistic model
- knowledge base
- machine learning