Skip to main content

Table 4 Datasets in our benchmark: single exceptions and violations

From: On the use of Max-SAT and PDDL in RBAC maintenance

     RBAC state
Dataset #U #P Density |R0| |UA0|+|PA0|
SmallComp 11 11 0.207 13 65
Domino 79 231 0.039 71 1803
University 493 56 0.143 71 8769
Firewall1 365 709 0.123 580 99713
   Max-SAT encoding (single exceptions)
Dataset #Excs #V #C # Ch # Cs
SmallComp 12 6.8602 2.9943 2.6293 3.6502
Domino 19 7.3664 1.4476 1.4236 2.3894
University 10 3.2375 2.6436 2.5966 4.7824
Firewall1 32 1.9177 1.8838 1.8878 6.2355
   Max-SAT encoding (single violations)
Dataset #Viols #V #C # Ch # Cs
SmallComp 12 6.5802 2.9363 2.5713 3.6502
Domino 19 7.3514 1.4476 1.4236 2.3894
University 10 3.2365 2.6436 2.5956 4.7824
Firewall1 32 1.9177 1.8838 1.8778 6.2355
  1. #U,#P, and Density are the number of users, permissions, and the percentage of assignments in the UPA0 matrix, respectively, after the removal of #Excs exceptions. |R0| and |UA0|+|PA0| are the number of roles and assignments in the initial RBAC state. #V,#C,#Ch, and #Cs are the number of variables, clauses, hard clauses, and soft clauses in the Max-SAT encoding (exception and violation cases), respectively