Table 6 Overview of the BDDs encoding the simplified ⟦·⟧B and extended ⟦·⟧e evaluation with/without constraints
From: A framework for the extended evaluation of ABAC policies
Simplified ⟦·⟧B | Extended ⟦·⟧e | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
B D D 1 | B D D 0 | B D D ⊥ | B D D 1 | B D D 0 | B D D ⊥ | ||||||||
#Vertex | Depth | #Vertex | Depth | #Vertex | Depth | #Vertex | Depth | #Vertex | Depth | #Vertex | Depth | ||
No constraints | Continue | 1085 | 31 | 496 | 29 | 579 | 29 | 1 | 0 | 147 | 24 | 579 | 29 |
SAFAX (10) | 347 | 24 | 370 | 24 | 7 | 6 | 1 | 0 | 430 | 24 | 7 | 6 | |
SAFAX (20) | 369 | 24 | 407 | 24 | 7 | 6 | 1 | 0 | 450 | 24 | 7 | 6 | |
SAFAX (50) | 343 | 24 | 366 | 24 | 7 | 6 | 1 | 0 | 427 | 24 | 7 | 6 | |
KMarket (10) | 38 | 15 | 38 | 15 | 4 | 3 | 37 | 15 | 1 | 0 | 4 | 3 | |
KMarket (20) | 87 | 36 | 87 | 36 | 4 | 3 | 86 | 36 | 1 | 0 | 4 | 3 | |
KMarket (50) | 326 | 125 | 326 | 125 | 4 | 3 | 325 | 125 | 1 | 0 | 4 | 3 | |
Constraints | Continue | 1156 | 46 | 510 | 46 | 846 | 46 | 594 | 44 | 672 | 46 | 830 | 46 |
SAFAX (10) | 513 | 54 | 455 | 54 | 108 | 54 | 255 | 54 | 497 | 54 | 108 | 54 | |
SAFAX (20) | 949 | 84 | 920 | 84 | 188 | 84 | 375 | 84 | 762 | 84 | 188 | 84 | |
SAFAX (50) | 1587 | 174 | 1551 | 174 | 428 | 174 | 735 | 174 | 1540 | 174 | 428 | 174 | |
KMarket (10) | 207 | 46 | 246 | 46 | 76 | 43 | 206 | 46 | 137 | 43 | 76 | 43 | |
KMarket (20) | 408 | 86 | 510 | 86 | 156 | 83 | 407 | 86 | 277 | 83 | 156 | 83 | |
KMarket (50) | 889 | 206 | 1260 | 203 | 396 | 203 | 888 | 206 | 667 | 203 | 396 | 203 | |