蔡婷 蔡宇 欧阳凯

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

关键词：

云系统；多域；访问控制；安全互操作；策略；验证

中图分类号： TP309.2 文献标志码：A

0引言

云计算（Cloud Computing）是一种基于因特网的全新商业计算模式，通过广泛的网络带宽接入技术为各类用户提供多租户、可扩展、弹性、按需支付以及可配置的资源，因商业经济效益的驱动得到迅速发展[1]。近年来，各种云计算系统层出不穷：公有云、私有云、混合云、社区云[2]等，然而它们大多是有界的单托管域系统，随着跨域性、动态性资源访问和数据共享需求的扩大，基于多管理域协作的云系统安全策略的实施成为目前工业界和学术界的关注热点[3]。……