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

蔡婷; 蔡宇; 欧阳凯

首页> 中文期刊> 《计算机应用》 >云系统中多域安全策略规范与验证方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机应用》 |2016年第7期|1834-1840|共7页
作者
蔡婷; 蔡宇; 欧阳凯;
展开▼
作者单位

重庆邮电大学移通学院计算机系;

重庆401520;

重庆邮电大学移通学院计算机系;

重庆401520;

华中科技大学计算机学院;

武汉430074;

展开▼
原文格式 PDF
正文语种 chi
中图分类数据安全;
关键词
云系统; 多域; 访问控制; 安全互操作; 策略; 验证;

相似文献

中文文献
外文文献
专利

1. IPv6网络中多级多域安全策略系统研究 [J] . 李小平 ,吴琼 ,董庆宽 . 西安电子科技大学学报（自然科学版） . 2008,第002期
2. 动态灰色时序系统DGTS及其在安全策略规范中的应用 [J] . 樊爱华 ,陈火旺 ,齐治昌 . 国防科技大学学报 . 1995,第004期
3. 云储存系统结构模型及安全策略 [J] . 王梅 . 信息系统工程 . 2018,第009期
4. 云储存系统结构模型及安全策略 [J] . 范月祺 . 电脑与电信 . 2017,第004期
5. 基于UML的CTCS-3级列控系统需求规范形式化验证方法 [J] . 刘金涛 ,唐涛 ,徐田华 . 中国铁道科学 . 2011,第003期
6. 动态灰色时序系统ＤＧＴＳ及其在安全策略规范中的应用 [C] . 樊爱华 . ’94全国理论计算机科学年会 . 1994
7. IPv6网络中多级多域安全策略系统研究 [A] . 吴琼 . 2008

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

摘要

著录项

相似文献

相关主题

期刊订阅