a secure database with replication that is guaranteed to work