Abstract:

The πcalculus was used to describe the process of the cloud services. Based on the description, the methods of detecting the two problems of the users’ unauthorized access and integrity verification was proposed. The process of the method can be described by the deploying of the virtual machines in the cloud, and the proposed method was compared with the security detection methods such as the Bayesian network, the prediction rule set and so on. The results show that the proposed method can simultaneously ensure the consistency and the security of cloud service process.

Key words: cloud service, πcalculus, unauthorized access, integrity