基于π演算的云服务安全检测

利用π演算对云服务流程进行形式化描述，基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法。基于云环境下的虚拟机部署实例对该方法的流程进行了说明，并将该方法与Bayes网和预测规则集等安全检测方法进行对比。结果表明，该方法能同时保证云服务过程的一致性和安全性。