Skip to main content
Cybersecurity

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
Back to article page