THEMIS: Towards Mutually Verifiable Billing Transactions in the Cloud Computing Environment | IEEE Conference Publication | IEEE Xplore