Keyphrases
- database transactions
- concurrency control protocols
- transaction model
- commit protocols
- lightweight
- locking protocol
- mobile payment
- database
- trusted third party
- formal analysis
- deadlock free
- distributed databases
- payment scheme
- security protocols
- multi party
- concurrency control
- computer networks
- point of sale
- update transactions
- cryptographic protocols
- correctness criteria
- snapshot isolation
- real time database systems
- authentication protocol
- privacy preserving
- data mining