Verifiable Auditing for Outsourced Database in Cloud Computing | Synapse