Securing Passive Replication through Verification.

Bruno Vavala Nuno Ferreira Neves Peter Steenkiste

Published in: SRDS (2015)

Keyphrases

model checking
distributed databases
fault tolerant
verification method
information security
formal methods
database
learning algorithm
multi agent
digital libraries
artificial neural networks
evolutionary algorithm
peer to peer
formal analysis
group communication
electro optic