| 基于描述逻辑DL_（RBAC）的RBAC形式化模型 |
| 马丽1; 马世龙1; 眭跃飞2
|
| 2010
|
| 发表期刊 | 北京航空航天大学学报
|
| ISSN | 1001-5965
|
| 卷号 | 000期号:011页码:1315 |
| 摘要 | 提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制（RBAC,Role-Based Access Control）模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系（RH,Role Hierarchy）传递性、用户角色分配关系（UA,User-Role Assignment）的继承性和权限角色分配关系（PA,Permission-Role Assignment）的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生. |
| 关键词 | 访问控制
基于角色的访问控制
描述逻辑
|
| 语种 | 英语
|
| 文献类型 | 期刊论文
|
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/36474
|
| 专题 | 中国科学院计算技术研究所期刊论文_中文
|
| 作者单位 | 1.北京航空航天大学
2.中国科学院计算技术研究所
|
推荐引用方式
GB/T 7714 |
马丽,马世龙,眭跃飞. 基于描述逻辑DL_（RBAC）的RBAC形式化模型[J]. 北京航空航天大学学报,2010,000(011):1315.
|
| APA |
马丽,马世龙,&眭跃飞.(2010).基于描述逻辑DL_（RBAC）的RBAC形式化模型.北京航空航天大学学报,000(011),1315.
|
| MLA |
马丽,et al."基于描述逻辑DL_（RBAC）的RBAC形式化模型".北京航空航天大学学报 000.011(2010):1315.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论