Correctness Verification in Outsourced Databases: More Reliable Fake Tuples Approach.

Ganugula Umadevi Ashutosh Saxena

Published in: ICISS (2013)

Keyphrases

outsourced databases
database
cost effective
model checking
data streams
attribute values
formal verification
formal methods
data mining
databases
intrusion detection
dimensionality reduction
database systems
metadata
user defined
face verification
verification method