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