A CryptoCubic Protocol for Hacker-Proof Off-Chain Bitcoin Transactions.
Leonard ApeltsinPublished in: CoRR (2014)
Keyphrases
- credit card
- trusted third party
- database transactions
- concurrency control protocols
- correctness criterion
- formal proof
- locking protocol
- network security
- transaction model
- distributed databases
- transaction processing systems
- replicated data
- deadlock free
- database
- concurrency control
- linear logic
- transaction management
- correctness criteria
- transaction data
- lightweight
- real time database systems
- commit protocols
- tcp ip
- theorem proving
- snapshot isolation
- formal analysis
- cryptographic protocols
- security requirements
- transaction processing
- distributed database systems
- intrusion detection system
- electronic transactions
- database systems