Secure Update Propagation via Set-Homomorphic... Maintaining a consistent database across all nodes of...