| 基于π演算的云服务安全检测 |
| |
| 引用本文： | 刘磊,任俊绮,张鹏,申春.基于π演算的云服务安全检测[J].吉林大学学报(理学版),2014,52(3):503-508. |
| |
| 作者姓名： | 刘磊 任俊绮 张鹏 申春 |
| |
| 作者单位： | 1. 吉林大学 计算机科学与技术学院, 长春 130012； 2. 吉林大学 软件学院, 长春 130012 |
| |
| 基金项目： | 国家自然科学基金(批准号:61300049);教育部高等学校博士学科点专项基金(批准号:20120061120059);吉林省科技发展计划项目(批准号:20130206052GX;20140520069JH) |
| |
| 摘 要： | 利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境下的虚拟机部署实例对该方法的流程进行了说明,并将该方法与Bayes网和预测规则集等安全检测方法进行对比.结果表明,该方法能同时保证云服务过程的一致性和安全性.
|
| 关 键 词： | 云服务 &pi 演算 越权访问 完整性 |
| 收稿时间： | 2013-07-23 |
Detecting Security in Cloud Services Based on π Calculus |
| |
| LIU Lei,REN Junqi,ZHANG Peng,SHEN Chun.Detecting Security in Cloud Services Based on π Calculus[J].Journal of Jilin University: Sci Ed,2014,52(3):503-508. |
| |
| Authors: | LIU Lei REN Junqi ZHANG Peng SHEN Chun |
| |
| Institution: | 1. College of Computer Science and Technology, Jilin University, Changchun 130012, China;2. College of Software, Jilin University, Changchun 130012, China |
| |
| Abstract: | |
| |
| Keywords: | cloud service &pi calculus unauthorized access integrity |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 |
| 点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文 |
|
