University of Bristol, UK;
University of Illinois, USA;
University of Southampton, UK;
University of Southampton, UK;
机译:通过SMT解决方案对基于管理角色的访问控制策略进行可扩展的自动符号分析
机译:基于管理角色的访问控制的策略分析
机译:正式验证基于角色的访问控制策略
机译:VAC - 基于行政角色的访问控制策略的验证者
机译:基于管理角色的访问控制2005:信息安全的实用模型
机译:Modbus SCADA系统中的基于角色的访问控制模型。集中模型方法
机译:基于管理角色的访问控制策略的Vac-Verifier