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

• 作者: 任俊绮 刘磊 张鹏 申春
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 云服务 π演算 越权访问 完整性
• 年，卷（期）: 2014,（3）
• 所属期刊栏目: 计算机科学
• 页码范围: 503-508
• 页数: 6页
• 分类号: TP399
• 字数: 5280字
• 语种: 中文
• DOI: 10.13413/j.cnki.jdxblxb.2014.03.18

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
2	张鹏	吉林大学计算机科学与技术学院	149	677	14.0	17.0
3	任俊绮	吉林大学软件学院	4	4	1.0	1.0
4	申春	吉林大学计算机科学与技术学院	11	46	3.0	6.0