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

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