Fig. 1From: On the use of Max-SAT and PDDL in RBAC maintenanceRBAC Maintenance processBack to article page