基于描述逻辑DL_(RBAC)的RBAC形式化模型

来源 :北京航空航天大学学报 | 被引量 : 0次 | 上传用户:guanshui5
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生. A new method of formal representation based on description logic is proposed. The set and relationship of RBAC (Role-Based Access Control) model are represented respectively by concepts and roles in description logic, Describes some key properties and constraints related to role inheritance, such as RH (Role Hierarchy) transitivity, which is formally expressed in the description logic language which can represent the compound relationship of the roles and the symbol of inclusion relationship. , Inheritance of User-Role Assignment (UA) and inheritance of Permission-Role Assignment (PA), separation of static authority and separation of dynamic authority in RBAC, etc. By the formal Representation of RBAC succession relations and constraints, the use of the logic of the description of the logic itself can limit the non-compliance with access control policy inheritance relationship.
其他文献
《半岛铁盒——超新星天王周杰伦写真集》当红超新星天王周杰伦横扫乐坛传媒数大奖后,与最佳拍档作词大师方文山联袂巨献的超人气写真集。《半岛 “Peninsula Tin Box - Su
2008年,我国政治经济学界紧紧围绕改革开放30周年展开理论探讨,比较系统地总结了改革开放的成功经验,分析了深化改革开放面临的挑战和基本着力点,科学发展观与和谐社会理论的研究更进一步,政治径济学基本理论问题研究有所进展,推动了马克思主义政治经济学的中国化。
为了做好2001年《吉林政报》的宣传发行工作,充分发挥《吉林政报》作为省政府公报的作用,省政府办公厅于10月10日召开了有各市州和部分县(市)政府秘书长、办公厅(室)主任参
“我们不需要一个中央计划者命令人们去怎么做,而是设计好一个机制,这些人都是为了自己的利益作事情,在这个机制的引导下行动。” “We do not need a central planner to d
据统计,我国图书的年销售额为400多亿元,而图书的库存定价今年将超过300亿元。在新华书店总店,记者看到几个大仓库里堆满了库存图书。时间最长的已经积压了六七年,数量最大
新课程教学改革的时代背景下,初中语文教师要实现生活教育的理论学习,自然风光、文物古迹、风俗民情、国内外的重要事件、学生的家庭生活,以及日常生活的话题等都可以成为语文课程的资源,因此,初中语文教师要积极拓展生活中的各种资源,努力拓展初中语文学习的时空,彰显初中语文教学的活力和魅力。   我们知道,我们赖以生存的生活环境,是我们语文教学的重要的源泉,我们欣赏到的色彩斑斓的田园风光和草草叶叶都蕴藏着无尽
2015年企业大学评测活动火热进行中 4大商学院+1大战略咨询机构+《商学院》杂志,6大机构首度联手,打造权威评测活动背景:随着“互联网+”时代的到来,作为企业实现使命及目标
它很难如人们预想的那样去改变车联网的趋势,甚至深远地影响到汽车企业对车联网的认知和布局尽管在发布之日便拉出奥迪、通用和现代三家战略合作企业站台助阵,但这依然难掩百
“过去叫出书,现在我们叫‘做书’”。一位出版业内人士这样告诉记者。大卫·科波菲尔还在首体兢兢业业演出 “In the past called a book, now we call ’do book’.” A
我的医生在app里,移动医疗,下一个千亿级别的市场。  项目简介:  提起医疗,绝大部分的人都会感慨,在中国找个专家看病,太难了。就医难也成为困扰医院医生和病人的一个最突出的难题。就诊通是一家针对大病疑难病的垂直平台。就诊通通过便捷的远程会诊手段与强大的三甲医院专家团队合作,实现大病病人和专家专长的精确匹配。  主要创始人:  (1)金羽青:上海交通大学医学院,医学博士。先后在上海第九人民医院和上