摘要
利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境下的虚拟机部署实例对该方法的流程进行了说明,并将该方法与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.
出处
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2014年第3期503-508,共6页
Journal of Jilin University:Science Edition
基金
国家自然科学基金(批准号:61300049)
教育部高等学校博士学科点专项基金(批准号:20120061120059)
吉林省科技发展计划项目(批准号:20130206052GX
20140520069JH)
关键词
云服务
Π演算
越权访问
完整性
cloud service
π-calculus
unauthorized access
integrity
