How Cloud Service Providers Can Prove Their Data Security Claims