在分析云计算安全现状的基础上,针对云计算服务模式的特征,建立了一种基于随机Petri网模型的用户行为验证模型,引入用户访问资源或调用服务的行为习惯度,主要包括选择概率偏离度和服务占用时间两个度量.此模型利用用户访问习惯度进行身份验证,以此来访问用户资源并调用服务行为,是一种有效的云计算用户行为验证技术,且实例分析表明其具有很好的实用性. Based on the analysis of the current status of cloud computing security, aiming at the characteristics of cloud computing service model, a user behavior verification model based on stochastic Petri net model is established, which introduces the behavior habit of users accessing resources or calling services, including the selection probability deviation Degree and service occupancy time.This model uses the user’s visiting habit to authenticate, in order to access the user resources and invoke the service behavior, which is an effective cloud computing user behavior verification technology, and the example analysis shows that it has a very good Good practicality.