Skip to main content

Table 3 List of exceptions to incorporate in the working example

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 8 40 0.309 0.958
e2:p7→u5 0.1 52 8 41 0.307 1
e3:p8→u3 0.3 53 7 36 0.397 0.935
e4:p10→u6 0.1 54 8 38 0.338 0.958
  1. In Tables 1 and 2, we note old[new]i an assignment that is changed from value old to value new by applying exception ei