机译:符号可达性分析,用于基于参数化的基于角色的管理访问控制
Dept. of Computer Science, Stony Brook University, Stony Brook, NY 11794-4400, USA;
Dept. of Computer Science, Binghamton University, Binghamton, NY 13902, USA;
Dept. of Computer Science, Binghamton University, Binghamton, NY 13902, USA;
Dept. of Computer Science, Stony Brook University, Stony Brook, NY 11794-4400, USA;
policy analysis; policy administration; role-based access control; RBAC;
机译:通过SMT解决方案对基于管理角色的访问控制策略进行可扩展的自动符号分析
机译:基于管理角色的访问控制的策略分析
机译:AMTRAC:用于基于时间角色的访问控制的管理模型
机译:基于参数化管理角色的访问控制的符号可达性分析
机译:基于管理角色的访问控制2005:信息安全的实用模型
机译:Modbus SCADA系统中的基于角色的访问控制模型。集中模型方法
机译:基于参数化管理角色访问控制的符号可达性分析