域间动态角色转换中的静态互斥角色约束违反

• 作者: 冯登国 徐震 翟征德
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 安全互操作 动态角色转换 角色关联 静态角色互斥 约束违反
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 信息安全
• 页码范围: 677-683
• 页数: 7页
• 分类号: TP309
• 字数: 5397字
• 语种: 中文

摘要

安全互操作是实现跨管理域的资源共享与保护的关键技术. Kapadia等人的IRBAC2000模型提供了一种灵活的通过角色关联和动态角色转换实现安全互操作的方法..廖俊国等人指出该模型可能违反静态互斥角色约束,对问题的原因进行了分析,提出了约束违反检测算法和添加角色关联的先决条件.首先指出廖俊国等人关于约束违反原因的分析是片面的,其检测算法和先决条件也不能保证系统不会违反约束;然后指出在给定角色关联的前提下,外域的用户/角色分配是造成约束违反的根本原因;进而提出动态角色转换违反静态互斥角色约束的充要条件和约束违反检测算法;给出了添加角色关联和用户/角色分配的先决条件,保证了模型状态始终满足静态互斥角色约束.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国	中国科学院软件研究所信息安全国家重点实验室	243	6305	35.0	71.0
2	徐震	中国科学院软件研究所信息安全国家重点实验室	48	425	12.0	19.0
3	翟征德	中国科学院软件研究所信息安全国家重点实验室	4	84	3.0	4.0