User-role reachability problem; Administration; Safety analysis; Access control; Model checking; Heuristics; Security;
机译:分析配给政策:干旱及其对城市用户福利的影响(分析干旱期间的配给政策)
机译:通过荟萃分析制定肠易激综合症指南:皇帝真的有新衣服吗?
机译:皇帝的新装? -分析瑞典电子政务行动计划
机译:Asaspxl:用于分析RBAC政策的新衣服
机译:探索ARBAC安全策略验证启发式方法的效率和可操作性。
机译:分析新南威尔士州预防儿童肥胖的政策:战略政策与实际行动
机译:aRBaC政策的自动符号分析