From: A framework for the extended evaluation of ABAC policies
τ1((a,v)) | = | a v |
τ1(¬t1) | = | τ0(t1) |
\(\tau _{1}(\mathop {\sim } t_{1})\) | = | τ1(t1) |
τ1(E1(t1)) | = | τ⊥(t1) |
τ1(t1 t2) | = | τ1(t1)∧τ1(t2) |
τ1(t1⊓t2) | = | τ1(t1)∧τ1(t2) |
\(\tau _{1}(t_{1} \mathbin {\vartriangle } t_{2})\) | = | (τ1(t1)∧¬τ0(t2))∨(τ1(t2)∧¬τ0(t1)) |
τ1(t1 t2) | = | τ1(t1)∨τ1(t2) |
τ1(t1⊔t2) | = | (τ1(t1)∧¬τ⊥(t2))∨(τ1(t2)∧¬τ⊥(t1)) |
\(\tau _{1}(t_{1} \triangledown t_{2})\) | = | τ1(t1)∨τ1(t2) |
π1(1) | = | true |
π1(0) | = | false |
π1((t,p1)) | = | τ1(t)∧π1(p1) |
π1(¬p1) | = | π0(p1) |
\(\pi _{1}(\mathop {\sim } p_{1})\) | = | π1(p1) |
π1(E1(p1)) | = | π⊥(p1) |
π1(p1 p2) | = | π1(p1)∧π1(p2) |
π1(p1⊓p2) | = | π1(p1)∧π1(p2) |
\(\pi _{1}(p_{1} \mathbin {\vartriangle } p_{2})\) | = | (π1(p1)∧¬π0(p2))∨(π1(p2)∧¬π0(p1)) |
π1(p1 p2) | = | π1(p1)∨π1(p2) |
π1(p1⊔p2) | = | (π1(p1)∧¬π⊥(p2))∨(π1(p2)∧¬π⊥(p1)) |
\(\pi _{1}(p_{1} \triangledown p_{2})\) | = | π1(p1)∨π1(p2) |