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

摘要：

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

关键词：云服务、π演算、越权访问、完整性

分类号：TP399(计算技术、计算机技术)

资助基金：国家自然科学基金61300049;教育部高等学校博士学科点专项基金20120061120059;吉林省科技发展计划项目20130206052GX,20140520069JH

在线出版日期：2014-06-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：503-508