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

Detecting Security in Cloud Services Based on π-Calculus

作　　者：刘磊[1] 任俊绮 张鹏[1] 申春[1] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012 [2]吉林大学软件学院,长春130012

出　　处：《吉林大学学报（理学版）》2014年第3期503-508,共6页Journal of Jilin University:Science Edition

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

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

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

分 类 号：TP399[自动化与计算机技术—计算机应用技术]