| 一种RBAC的描述逻辑表示方法 |
| 马丽1; 马世龙1; 眭跃飞2; 伊胜伟1
|
| 2010
|
发表期刊 | 计算机科学
|
ISSN | 1002-137X
|
卷号 | 000期号:003页码:29 |
摘要 | 基于角色的访问控制(RBAC)通过角色来控制用户对资源的访问,极大地简化了安全管理。虽然对RBAC的研究比较成熟,但由于RBAC目前缺乏形式化的表示,使得RBAC中的一些概念和性质存在不同的理解。描述逻辑(DL)是一种基于对象的知识表示的形式化系统,它是一阶逻辑的一个可判定的子集,具有合适定义的语义,并且具有很强的表示能力。为了给出RBAC的形式化方法,以描述逻辑为工具,RBAC96模型为基础,提出了RBAC的描述逻辑DLRBAC。用描述逻辑的符号给出了RBAC中主要的元素和关系的形式化定义,并证明了这种描述逻辑表示对于RBAC模型的忠实性。所提出的RBAC形式化模型可以作为进一步研究RBAC的理论基础。 |
关键词 | 访问控制
角色
权限
描述逻辑
角色继承
|
语种 | 英语
|
文献类型 | 期刊论文
|
条目标识符 | http://119.78.100.204/handle/2XEOYT63/36272
|
专题 | 中国科学院计算技术研究所期刊论文_中文
|
作者单位 | 1.北京航空航天大学 2.中国科学院计算技术研究所
|
推荐引用方式 GB/T 7714 |
马丽,马世龙,眭跃飞,等. 一种RBAC的描述逻辑表示方法[J]. 计算机科学,2010,000(003):29.
|
APA |
马丽,马世龙,眭跃飞,&伊胜伟.(2010).一种RBAC的描述逻辑表示方法.计算机科学,000(003),29.
|
MLA |
马丽,et al."一种RBAC的描述逻辑表示方法".计算机科学 000.003(2010):29.
|
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论