Integrity, Consistency, and Verification of Remote Computation.

Christian Cachin

Published in: CCS (2014)

Keyphrases

real time
model checking
efficient computation
artificial intelligence
consistency checking
integrity checking
integrity verification
databases
real world
genetic algorithm
information systems
cloud computing
integrity constraints
database integrity