一种RBAC的描述逻辑表示方法
文献类型：期刊论文
| 作者 | 马丽1; 马世龙1; 眭跃飞2; 伊胜伟1 |
| 刊名 | 计算机科学
 |
| 出版日期 | 2010 |
| 卷号 | 000期号:003页码:29 |
| 关键词 | 访问控制 角色 权限 描述逻辑 角色继承 |
| ISSN号 | 1002-137X |
| 英文摘要 | 基于角色的访问控制（RBAC）通过角色来控制用户对资源的访问，极大地简化了安全管理。虽然对RBAC的研究比较成熟，但由于RBAC目前缺乏形式化的表示，使得RBAC中的一些概念和性质存在不同的理解。描述逻辑（DL）是一种基于对象的知识表示的形式化系统，它是一阶逻辑的一个可判定的子集，具有合适定义的语义，并且具有很强的表示能力。为了给出RBAC的形式化方法，以描述逻辑为工具，RBAC96模型为基础，提出了RBAC的描述逻辑DLRBAC。用描述逻辑的符号给出了RBAC中主要的元素和关系的形式化定义，并证明了这种描述逻辑表示对于RBAC模型的忠实性。所提出的RBAC形式化模型可以作为进一步研究RBAC的理论基础。 |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/36271]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。