From: On the use of Max-SAT and PDDL in RBAC maintenance
RBAC state
Exception
β
|UPA|
|R|
|UA|+|PA|
opt
sim
-
50
8
47
0.254
e1:p7→u4
0.5
51
40
0.309
0.958
e2:p7→u5
0.1
52
41
0.307
1
e3:p8→u3
0.3
53
7
36
0.397
0.935
e4:p10→u6
54
38
0.338