65、抗策略评估失败的授权框架

抗策略评估失败的授权框架

1. 策略评估策略

在策略评估方面，有几种策略可实现特定语义，首先介绍一种能实现 Type 1 和 Type 2 语义的简单算法。

1.1 朴素算法

可以使用图 4 所示形式的算法直接实现 Type 2 语义。假定能构建整个策略的树表示，即 Type 2 语义足以得出决策。

[Inputs: pointer to policy tree p; request q]
[Outputs: set of decisions]
evaluateTree(p, q)
if (π == t) then
    if (lptr == null) and (rptr == null) then
        return {effect}
    else
        X = evaluateTree(lptr, q)
        Y = evaluateTree(rptr, q)
        result = ∅
        for all x ∈X
            for all y ∈Y
                result = result ∪{x ⊕y}
        return φ(result)
else
    if (evaluateApplicability(π, q) == t) then
        π = t
        evaluateTree(p, q)
    else-if (evaluateApplicability(π, q) == f) then
        return {⊥}