Schemes for Verification of Resources in the Cloud: Comparison of the Cloud Technology Providers Book chapter (March 2020)