parameterized administrative role based access control; security policy analysis;
机译:符号可达性分析,用于基于参数化的基于角色的管理访问控制
机译:通过SMT解决方案对基于管理角色的访问控制策略进行可扩展的自动符号分析
机译:无需单独管理的基于管理角色的访问控制的策略分析
机译:基于参数的管理角色访问控制的符号可达性分析
机译:基于管理角色的访问控制的有效策略分析。
机译:在不列颠哥伦比亚省访问带家庭纳拉诺酮以及社区药房的作用:行政数据分析结果
机译:基于参数化管理角色访问控制的符号可达性分析
机译:安全企业访问控制(sEaC)基于角色的访问控制(RBaC)