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