The sharing of resources on the cloud can be achieved on a large scale as it is cost-effective and location-independent. Despite the hype surrounding cloud computing, due to concerns about secure resource sharing, organizations are still reluctant to deploy their businesses in the cloud computing environment. We propose a A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification cloud resource mediation service offered by cloud service providers in this paper, which plays the role of trusted third party among its various tenants.

 

In the presence of our proposed cloud resource mediation service, this A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification paper formally specifies the resource sharing mechanism between two different tenants. Using formal verification, the correctness of the activation of permission and delegation mechanism among different tenants using four distinct algorithms (activation, delegation, forward revocation, and backward revocation).