A Fair Consensus Protocol for Transaction Ordering.
Avi AsayagGad CohenIdo GrayevskyMaya LeshkowitzOri RottenstreichRonen TamariDavid YakiraPublished in: ICNP (2018)
Keyphrases
- concurrency control protocols
- locking protocol
- database transactions
- commit protocols
- deadlock free
- transaction model
- lightweight
- concurrency control
- trusted third party
- mobile payment
- correctness criterion
- secure electronic
- formal analysis
- transaction processing
- distributed databases
- transaction management
- security analysis
- database
- payment scheme
- snapshot isolation
- payment protocol
- security mechanisms
- security requirements
- integrity constraints
- database systems
- authentication protocol
- security protocols
- multi party
- partial order
- database management systems