A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification


Sharing of resources on the cloud can be accomplished on a substantial scale since it is cost effective and location independent. Notwithstanding the hype surrounding cloud computing, associations are as yet hesitant to send their organizations in the cloud computing condition because of worries in secure asset sharing. In this paper, we propose a cloud resource intervention benefit offered by cloud specialist organizations, which assumes the part of confided in outsider among its distinctive tenants.

This project formally indicates the asset sharing system between two unique tenants within the sight of our proposed cloud asset intervention benefit. The accuracy of consent actuation and appointment system among various inhabitants utilizing four particular calculations (Activation, Delegation, Forward Revocation and Backward Revocation) is likewise shown utilizing formal check. The execution investigation recommends that sharing of assets can be performed safely and productively crosswise over various occupants of the cloud.

Download: A Cross Tenant Access Control (CTAC) Model

Leave a Reply

Your email address will not be published. Required fields are marked *