基于属性的角色委派模型可达性推理方法研究.pdfVIP

第40卷 第 9期 计 算 机 工 程 2014年 9月 Vo1．40 No．9 ComputerEngineering September2014 · 安全技术 · 文章编号：1000-3428(2014)09-0143-06 文献标识码：A 中图分类号：TP393．08 基于属性的角色委派模型可达性推理方法研究 任志宇 ，陈性元 ，马军强 (1．解放军信ga-程大学四院，郑州 450001；2．河南省信息安全重点实验室，郑州 450004； 3．数学工程与先进计算 国家重点实验室，郑州 450001) 摘 要 ：提出基于属性 的角色委派模型，通过引入属性扩展授权管理策略的表达能力 ，并采用描述逻辑定义模型的 概念及其关系 。为解决分布式环境下授权管理策略检测 困难 的问题 ，对模型的用户一角色可达性 问题进行定义