基于属性的用户-角色委派模型可达性分析

计算机应用 ›› 2014, Vol. 34 ›› Issue (2): 428-432.

基于属性的用户-角色委派模型可达性分析

任志宇¹,²,³,陈性元¹,³

1. 河南省信息安全重点实验室，郑州 450004；
2. 数学工程与先进计算国家重点实验室，郑州 450001
3. 信息工程大学，郑州 450001;

收稿日期:2013-08-20 修回日期:2013-10-24 发布日期:2014-03-01 出版日期:2014-02-01
通讯作者: 任志宇
作者简介:任志宇（1974-），女，河南汤阴人，博士研究生，主要研究方向：信息安全、访问控制、授权管理；陈性元（1964-），男，安徽无为人，教授，博士生导师，博士，主要研究方向：信息安全。
基金资助:
国家973重点基础研究发展计划;河南省科技创新人才计划项目

Reachability analysis for attribute based user-role assignment model

REN Zhiyu¹,²,³,CHEN Xingyuan¹,²

1. Henan Province Key Laboratory of Information Security，Zhengzhou Henan 450004，China；
2. Information Engineering University，Zhengzhou Henan 450001，China；
3. State Key Laboratory of Mathematical Engineering and Advanced Computing，Zhengzhou Henan 450001，China

Received:2013-08-20 Revised:2013-10-24 Online:2014-03-01 Published:2014-02-01
Contact: REN Zhiyu

摘要/Abstract

摘要： 针对传统基于角色的访问控制(RBAC)管理模型难以表达多样化策略的问题，提出了基于属性的用户-角色委派（ABURA）模型，采用属性作为用户-角色委派的先决条件，丰富了RBAC管理策略的语义。用户-角色可达性分析是验证分布式系统中授权管理策略正确性的重要机制，定义了ABURA模型的用户-角色可达性分析问题，通过分析ABURA模型状态转换特点给出策略约减定理，设计了可达性分析算法，并通过实例对算法进行了验证。

关键词: 授权管理模型, 可达性分析, 属性, 角色, 用户-角色委派

Abstract: It is difficult to express diversity policy by traditional RBAC (Role-based Access Control) management model. In order to solve the problem, an Attribute based User-Role assignment (ABURA) model was proposed. Attributes were adopted as prerequisite conditions to provide richer semantics for RBAC management policy. In distributed systems, user-role reachability analysis is an important mechanism to verify the correctness of authorization management policy. The definition of user-role reachability analysis problem for ABURA model was given. According to the characteristics of state transition in ABURA model, some reduction theorems for policy were given. Based on these theorems, user-role reachability analysis algorithm was proposed, and the algorithm got verified through examples.

Key words: authorization management model, reachability analysis, attribute, role, user-role assignment

中图分类号:

TP393.08

任志宇陈性元. 基于属性的用户-角色委派模型可达性分析[J]. 计算机应用, 2014, 34(2): 428-432.

REN Zhiyu CHEN Xingyuan. Reachability analysis for attribute based user-role assignment model[J]. Journal of Computer Applications, 2014, 34(2): 428-432.

[1]	李鑫, 孟乔, 皇甫俊逸, 孟令辰. 基于分离式标签协同学习的YOLOv5多属性分类[J]. 《计算机应用》唯一官方网站, 2024, 44(5): 1619-1628.
[2]	高改梅, 张瑾, 刘春霞, 党伟超, 白尚旺. 基于区块链与CP-ABE策略隐藏的众包测试任务隐私保护方案[J]. 《计算机应用》唯一官方网站, 2024, 44(3): 811-818.
[3]	马海峰, 李玉霞, 薛庆水, 杨家海, 高永福. 用于实现区块链隐私保护的属性基加密方案[J]. 《计算机应用》唯一官方网站, 2024, 44(2): 485-489.
[4]	梁静, 万武南, 张仕斌, 张金全, 秦智. 面向主从链的慈善系统溯源存储模型[J]. 《计算机应用》唯一官方网站, 2024, 44(12): 3751-3758.
[5]	孙科硕, 高海英, 宋杨. 面向公有区块链上的私有区块链的多权威属性加密方案[J]. 《计算机应用》唯一官方网站, 2024, 44(12): 3699-3708.
[6]	高改梅, 段明博, 荀亚玲, 刘春霞, 党伟超. 支持密码逆向防火墙的基于SM9的属性基可搜索加密方案[J]. 《计算机应用》唯一官方网站, 2024, 44(11): 3495-3502.
[7]	张欢, 王静宇, 刘立新, 姜晓宇. 双重授权的多组织协同数据共享方案[J]. 《计算机应用》唯一官方网站, 2024, 44(10): 3307-3314.
[8]	马海英, 李金舟, 杨及坤. 基于区块链可撤销属性的去中心化属性基加密方案[J]. 《计算机应用》唯一官方网站, 2023, 43(9): 2789-2797.
[9]	王静红, 周志霞, 王辉, 李昊康. 双路自编码器的属性网络表示学习[J]. 《计算机应用》唯一官方网站, 2023, 43(8): 2338-2344.
[10]	何嘉明, 杨巨成, 吴超, 闫潇宁, 许能华. 基于多模态图卷积神经网络的行人重识别方法[J]. 《计算机应用》唯一官方网站, 2023, 43(7): 2182-2189.
[11]	曹萌, 余孙婕, 曾辉, 史红周. 基于区块链的医疗数据分级访问控制与共享系统[J]. 《计算机应用》唯一官方网站, 2023, 43(5): 1518-1526.
[12]	张晓燕, 王佳一. 属性聚类下三支概念的对比[J]. 《计算机应用》唯一官方网站, 2023, 43(5): 1336-1341.
[13]	李元江, 权金升, 谭阳奕, 杨田. 基于相似和差异双视角的高维数据属性约简[J]. 《计算机应用》唯一官方网站, 2023, 43(5): 1467-1472.
[14]	陈靖超, 徐树公, 丁友东. 基于字体字符属性引导的文本图像编辑方法[J]. 《计算机应用》唯一官方网站, 2023, 43(5): 1416-1421.
[15]	程顺航, 李志华, 魏涛. 融合自举与语义角色标注的威胁情报实体关系抽取方法[J]. 《计算机应用》唯一官方网站, 2023, 43(5): 1445-1453.