Science & Engineering Research Support soCiety (SERSC)
The negotiation process of the Service Level Agreement (SLA) in cloud environment is an interaction process of access control rules and credentials. Due to the mass of credentials in cloud environment, the negotiation efficiency is not high. To address the problem, this paper proposes an Automated Trust Negotiation (ATN) model based on Colored Petri Net (CPN), which exist in a legitimate occurrence sequence and a reachable state space graph. A Minimal Credential Path Searching (MCPS) algorithm is proposed to find a minimum credential disclosure set in the reachable marking graph. The results show that the algorithm can effectively improve the negotiation efficiency.