Enforcing Policy and Data Consistency of Cloud Transactions | IEEE Conference Publication | IEEE Xplore