Consistency as a Service: Auditing Cloud Consistency