Systemic security strategy is described by security query in administrative model of role-based access control (RBAC). According to the definition of state-transition system, security analysis is defined and executed on Turing machine.

• 在基于角色的访问控制管理模型中；采用安全查询来描述系统安全策略；引入状态变换系统定义基于角色的访问控制管理模型及其安全分析；用图灵机理论和计算复杂性理论进行安全分析.