基于π演算的云服务安全检测-吉林大学学报.pdf

( ) 第 卷 第 期 吉 林 大 学 学 报 理 学 版 52 3 Vol.52 No.3 年 月 ( ) 2014 5 JournalofJilinUniversit ScienceEdition Ma 2014 y y : / doi10.13413 .cnki.dxblxb.2014.03.18 j j 基于 演算的云服务安全检测 π 1 2 1 1 , , , 刘 磊 任俊绮 张 鹏 申 春 ( , ; , ) 1.吉林大学 计算机科学与技术学院 长春 130012 2.吉林大学 软件学院 长春 130012 : , 摘要 利用 演算对云服务流程进行形式化描述 基于描述结果给出一种针对用户越权访问 π 和服务不完整两种安全性问题的检测方法 基于云环境下的虚拟机部署实例对该方法的流程 . , , 进行了说明 并将该方法与 网和预测规则集等安全检测方法进行对比 结果表明 该 Baes . y 方法能同时保证云服务过程的一致性和安全性. : ; ; ; 关键词 云服务 演算 越权访问 完整性 π 中图分类号: 文献标志码: 文章编号: ( ) TP399 A 1671-5489201403-0503-06 Detectin SecuritinCloudServicesBasedonπ-Calculus g y 1 2 1 1 , , , LIULei RENJuni ZHANGPen SHENChun q g ( , ,