基于角色的访问控制模型安全性分析研究综述

摘要：

在总结 RBAC 及其管理模型发展现状的基础上，给出了访问控制模型的安全分析和 RBAC 模型的安全性分析的概念性描述，综述了针对 RBAC 及其扩展模型的安全性分析方法，主要包括状态机理论、智能规划和图规划算法、图变换、图灵机理论和 Petri 网等方法。通过比较分析这些安全性分析方法，针对分布式环境下授权管理与访问控制的新需求，指出了安全性分析方法面临的问题，展望了将来的研究方向。

关键词：访问控制、基于角色的访问控制、授权管理、安全性分析

分类号：TP309.2(计算技术、计算机技术)

资助基金：国家“863”计划资助项目2012AA012704；2014年河南省基础研究计划资助项目142300410093；信息保障技术重点实验室资助项目KJ-13-110

在线出版日期：2015-11-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：3201-3208