Table 7 BDD encoding constrained query space and percentage of queries that evaluate 1,0,⊥ for ⟦·⟧B and ⟦·⟧E
From: A framework for the extended evaluation of ABAC policies
#Vertex | Depth | #Queries | Simplified ⟦·⟧B | Extended ⟦·⟧E | |||||
|---|---|---|---|---|---|---|---|---|---|
B D D D 1 | B D D 0 | B D D ⊥ | B D D 1 | B D D D 0 | B D D ⊥ | ||||
Continue | 63 | 44 | 134,631,720 | 20.09% | 32.28% | 47.52% | 59.10% | 41.48% | 47.52% |
SAFAX (10) | 128 | 54 | 7,331,148 | 55.43% | 28.39% | 16.18% | 97.10% | 41.87% | 16.18% |
SAFAX (20) | 188 | 84 | 51,009,588 | 55.36% | 28.49% | 16.18% | 97.06% | 43.03% | 16.18% |
SAFAX (50) | 368 | 174 | 730,641,708 | 55.27% | 28.55% | 16.18% | 97.04% | 42.14% | 16.18% |
KMarket (10) | 77 | 43 | 468,512 | 26.41% | 48.59% | 25.00% | 43.15% | 90.08% | 25.00% |
KMarket (20) | 157 | 83 | 6,223,392 | 20.03% | 54.97% | 25.00% | 34.09% | 92.35% | 25.00% |
KMarket (50) | 397 | 203 | 216,486,432 | 6.48% | 68.52% | 25.00% | 11.18% | 98.70% | 25.00% |