Institute of Computing Technology, Chinese Academy IR
| 一种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. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [马丽]的文章 |
| [马世龙]的文章 |
| [眭跃飞]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [马丽]的文章 |
| [马世龙]的文章 |
| [眭跃飞]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [马丽]的文章 |
| [马世龙]的文章 |
| [眭跃飞]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论