Skip to main content

Advertisement

Table 2 Transformation rules for τ (for targets) and π (for policies) for decision 1

From: A framework for the extended evaluation of ABAC policies

τ1((a,v)) = a v
τ1t1) = τ0(t1)
\(\tau _{1}(\mathop {\sim } t_{1})\) = τ1(t1)
τ1(E1(t1)) = τ(t1)
τ1(t1 t2) = τ1(t1)τ1(t2)
τ1(t1t2) = τ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(t1t2) = (τ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)
π1p1) = π0(p1)
\(\pi _{1}(\mathop {\sim } p_{1})\) = π1(p1)
π1(E1(p1)) = π(p1)
π1(p1 p2) = π1(p1)π1(p2)
π1(p1p2) = π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(p1p2) = (π1(p1)¬π(p2))(π1(p2)¬π(p1))
\(\pi _{1}(p_{1} \triangledown p_{2})\) = π1(p1)π1(p2)