Table 1 Operators on the set \(\mathcal {D}_{3} = \{1,0,\bot \}\)
From: A framework for the extended evaluation of ABAC policies
d 1 | d 2 | ¬d1 | \(\mathop {\sim } d_{1}\) | E1(d1) |
d
1
| d1⊓d2 | \(d_{1} {\vartriangle } d_{2}\) |
d
1
| d1⊔d2 | \(d_{1} \triangledown d_{2}\) |
|---|---|---|---|---|---|---|---|---|---|---|
1 | 1 | 0 | 1 | ⊥ | 1 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 1 | ⊥ | 0 | 0 | 0 | 1 | 1 | 1 |
1 | ⊥ | 0 | 1 | ⊥ | ⊥ | ⊥ | 1 | 1 | ⊥ | 1 |
0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 |
0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | ⊥ | 1 | 0 | 0 | 0 | ⊥ | 0 | ⊥ | ⊥ | 0 |
⊥ | 1 | ⊥ | 0 | 1 | ⊥ | ⊥ | 1 | 1 | ⊥ | 1 |
⊥ | 0 | ⊥ | 0 | 1 | 0 | ⊥ | 0 | ⊥ | ⊥ | 0 |
⊥ | ⊥ | ⊥ | 0 | 1 | ⊥ | ⊥ | ⊥ | ⊥ | ⊥ | ⊥ |
d
2
d
2