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

A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and verification
Author(s):
MYLAPURI VENKATESU, G.ANJAN BABU
Keywords:

Abstract
Sharing of resources on the cloud can be achieved on a large scale since it is cost effective and location independent. Despite the hype surrounding cloud computing, organizations are still reluctant to deploy their businesses in the cloud computing environment due to concerns in secure resource sharing. In this paper, we propose a cloud resource mediation service offered by cloud service providers, which plays the role of trusted third party among its different tenants. This paper formally specifies the resource sharing mechanism between two different tenants in the presence of our proposed cloud resource mediation service. The correctness of permission activation and delegation mechanism among different tenants using four distinct algorithms (Activation, Delegation, Forward Revocation and Backward Revocation) is also demonstrated using formal verification. The performance analysis suggest that sharing of resources can be performed securely and efficiently across different tenants of the cloud.
Article Details
Unique Paper ID: 145791 Publication Volume & Issue: Volume 4, Issue 11 Page(s): 348 - 356
Article Preview & Download

Share This Article

NCSEM 2024

National Conference on Sustainable Engineering and Management - 2024

Last Date: 15th March 2024

IJIRT.org enables door in research by providing high quality research articles in open access market.

Send us any query related to your research on editor@ijirt.org