%0 Journal Article
%T 一种RBAC的描述逻辑表示方法
%A 马丽
%A 马世龙
%A 睦跃飞
%A 伊胜伟
%J 计算机科学
%D 2010
%I 
%X 基于角色的访问控制(RBAC)通过角色来控制用户对资源的访问,极大地简化了安全管理。虽然对RBAC的研究比较成熟,但由于RBAC目前缺乏形式化的表示,使得RBAC中的一些概念和性质存在不同的理解。描述逻辑(DL)是一种基于对象的知识表示的形式化系统,它是一阶逻辑的一个可判定的子集,具有合适定义的语义,并且具有很强的表示能力。为了给出RBAC的形式化方法,以描述逻辑为工具,RBAC96模型为基础,提出了RBAC的描述逻辑DLRBAC。用描述逻辑的符号给出了RBAC中主要的元素和关系的形式化定义,并证明了这种描述逻辑表示对于RBAC模型的忠实性。所提出的RBAC形式化模型可以作为进一步研究RBAC的理论基础。
%K 访问控制
%K 角色
%K 权限
%K 描述逻辑
%K 角色继承
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=626EDDBF4E0C86DA0BDB3E01695680ED&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=38B194292C032A66&sid=771469D9D58C34FF&eid=6209D9E8050195F5&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=13