Method for Secure Resource Sharing at User Level In Cloud Computing

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 processes. This paper formally specifies the resource sharing mechanism between two different processes in the presence of our proposed cloud resource mediation service. The correctness of permission register and delegation mech- anism among different processes using two distinct algorithms (Register,Message processing and verification) is also demonstrated using formal verification. The performance analysis suggest that sharing of resources can be performed securely and efficiently across different processes of the cloud.