云系统中多域安全策略规范与验证方法

来源：计算机应用杂志2016年第7期北京时间：

作者：蔡婷, 蔡宇, 欧阳凯

单位：1. 重庆邮电大学移通学院 计算机系, 重庆 401520;2. 华中科技大学 计算机学院, 武汉 430074

摘要：为了有效管理云系统间跨域互操作中安全策略的实施，提出一种适用于云计算环境的多域安全策略验证管理技术。首先，研究了安全互操作环境的访问控制规则和安全属性，通过角色层次关系区分域内管理和域间管理，形式化定义了基于多域的角色访问控制（domRBAC）模型和基于计算树逻辑（CTL）的安全属性规范；其次，给出了基于有向图的角色关联映射算法，以实现domRBAC角色层次推理，进而构造出了云安全策略验证算法。性能实验表明，多域互操作系统的属性验证时间开销会随着系统规模的扩大而增加。技术采用多进程并行检测方式可将属性验证时间减少70.1%～88.5%，其模型优化检测模式相比正常模式的时间折线波动更小，且在大规模系统中的时间开销要明显低于正常模式。该技术在规模较大的云系统安全互操作中具有稳定和高效率的属性验证性能。

关键词：云系统,多域,访问控制,安全互操作,策略,验证

基金资助：重庆市本科高校“三特行动计划”特色专业建设项目（渝教高（2013）49号）；重庆市教委科学技术研究项目（KJ1502002，KJ1502003）；重庆市高等教育学会2015-2016年度高等教育科学研究课题（CQGJ15203B）；重庆市教育科学“十二五”规划高等教育质量提升专项成果（2015-GX-086）。