Proof of Violation for Trust and Accountability of Cloud Database Systems.
Gwan-Hwan HwangShih-Kai FuPublished in: CCGrid (2016)
Keyphrases
- database systems
- cloud computing
- trust model
- query optimization
- databases
- database management systems
- trust evaluation
- database
- relational database systems
- data management
- data model
- theorem prover
- query processing
- data types
- data center
- theorem proving
- database applications
- social capital
- transaction management
- transaction processing
- database technology
- information systems
- multilevel secure
- distributed database systems
- trust relationships
- linear logic
- trust management
- database server
- map reduce
- query execution
- virtual machine
- database design