一种RBAC的描述逻辑表示方法

• 作者: 伊胜伟 眭跃飞 马世龙 马丽
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 访问控制 角色 权限 描述逻辑 角色继承
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 29-35
• 页数: 7页
• 分类号: TP309
• 字数: 9415字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2010.03.006

摘要

基于角色的访问控制(RBAC)通过角色来控制用户对资源的访问,极大地简化了安全管理.虽然对RBAC的研究比较成熟,但由于RBAC目前缺乏形式化的表示,使得RBAC中的一些概念和性质存在不同的理解.描述逻辑(DL)是一种基于对象的知识表示的形式化系统,它是一阶逻辑的一个可判定的子集,具有合适定义的语义,并且具有很强的表示能力.为了给出RBAC的形式化方法,以描述逻辑为工具,RBAC96模型为基础,提出了RBAC的描述逻辑DLRBAC.用描述逻辑的符号给出了RBAC中主要的元素和关系的形式化定义,并证明了这种描述逻辑表示对于RBAC模型的忠实性.所提出的RBAC形式化模型可以作为进一步研究RBAC的理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马世龙	北京航空航天大学计算机学院	58	445	8.0	20.0
2	眭跃飞	中国科学院计算技术研究所智能信息处理国家重点实验室	35	313	9.0	17.0
3	马丽	北京航空航天大学计算机学院	7	54	4.0	7.0
4	伊胜伟	北京航空航天大学计算机学院	3	26	2.0	3.0