基于描述逻辑DL_(RBAC)的RBAC形式化模型

马丽; 马世龙; 眭跃飞

首页> 中文期刊> 《北京航空航天大学学报》 >基于描述逻辑DL_(RBAC)的RBAC形式化模型

基于描述逻辑DL_(RBAC)的RBAC形式化模型

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.

著录项

来源
《北京航空航天大学学报》 |2010年第11期|1315-1319|共5页
作者
马丽; 马世龙; 眭跃飞;
展开▼
作者单位

北京航空航天大学计算机学院;

中国科学院计算技术研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
访问控制; 基于角色的访问控制; 描述逻辑;

相似文献

中文文献
外文文献
专利

1. 一种采用动态描述逻辑表示的RBAC管理模型 [J] . 任志宇 ,陈性元 ,马军强 . 信息工程大学学报 . 2013,第006期
2. 基于描述逻辑的RB-RBAC授权规则冲突检测方法 [J] . 于海波 ,车海燕 ,金淳兆 . 计算机科学 . 2006,第010期
3. 一种RBAC的描述逻辑表示方法 [J] . 马丽 ,马世龙 ,眭跃飞 . 计算机科学 . 2010,第003期
4. AC-RBAC模型的形式化规约研究 [J] . 毕然 ,李雅丽 . 科技信息 . 2008,第024期
5. 具有冲突约束的RBAC模型的形式化规范与证明 [J] . 袁春阳 ,贺也平 ,何建波 . 计算机研究与发展 . 2006,第0z2期
6. 一种基于组织扩展的RBAC模型（Ex-RBAC）的研究与应用 [C] . 王磊 . 江苏省电机工程学会2009年学术年会暨第四届江苏电机工程青年科技论坛 . 2009
7. 基于X-RBAC模型和扩展XQuery的XML访问控制模型的研究与实现 [A] . 丁勇 . 2006

基于描述逻辑DL_(RBAC)的RBAC形式化模型

摘要

著录项

相似文献

相关主题

期刊订阅