Fig. 10From: On the use of Max-SAT and PDDL in RBAC maintenanceAs shown in Fig. 10(a) (SmallComp), our planner ouperforms on average both baselines: It is able to create a plan which is shorter than the difference between matrices (diff) and shorter than the list of actions necessary to rebuild the target RBAC state from scratch (rewrite). On average, with β≤0.65 we have an improvementBack to article page