基于角色访问控制管理模型的安全性分析

摘要：

在基于角色的访问控制管理模型中,采用安全查询来描述系统安全策略,引入状态变换系统定义基于角色的访问控制管理模型及其安全分析,用图灵机理论和计算复杂性理论进行安全分析.将安全查询分类为必然性安全查询和可能性安全查询,证明了必然性安全查询和与状态无关的可能性安全查询能在多项式时间内被有效解决,给出了满足NP-完全问题的可能性安全查询的条件,而一般的可能性安全查询是不可判定的.

关键词：基于角色的访问控制、授权管理、图灵机、NP-完全问题、不可判定性

所属期刊栏目：17

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

资助基金：国家高技术研究发展计划863计划60403027

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

页数：共7页

页码：1804-1810