基于属性的用户-角色委派模型可达性分析

？针对传统基于角色的访问控制(rbac)管理模型难以表达多样化策略的问题，提出了基于属性的用户-角色委派（abura）模型，采用属性作为用户-角色委派的先决条件，丰富了rbac管理策略的语义。用户-角色可达性分析是验证分布式系统中授权管理策略正确性的重要机制，定义了abura模型的用户-角色可达性分析问题，通过分析abura模型状态转换特点给出策略约减定理，设计了可达性分析算法，并通过实例对算法进行了验证。