4、访问策略的细粒度披露

访问策略的细粒度披露

1. 策略树节点着色约束

在策略树中，节点的着色有一定的约束条件，这些约束确保策略信息披露的合理性和有效性。
- 绿色谓词节点约束 ：每个代表谓词运算符的绿色节点必须至少有一个非红色子节点。因为释放一个没有操作数的谓词运算符（如 >、<、=）是没有意义的。例如在图 2(e) 中就存在违反此约束的着色示例。
- 属性类型子树约束 ：对于每个代表属性类型基本条件的子树，子树中的节点要么全是绿色，要么全是红色。这是为了确保如果向客户端释放了策略中存在关于凭证类型的条件信息，那么也会披露具体的凭证类型。若只表明接受某一类型的凭证却不披露该类型，是没有意义的，图 2(f) 展示了违反此约束的策略示例。

除了上述约束限制策略基本条件内颜色的多样性外，策略树的不同节点可以分配任何颜色，每种着色方式都会产生服务器向客户端传达策略的不同方式，即每种着色都为客户端提供了策略树的一种可能视图。

2. 转换过程：客户端策略视图

着色后的策略树 (T^{\lambda}) 需要转换为等效的客户端策略树视图 (T’) 并传达给客户端。(T’) 通过应用以下转换规则获得：
- 移除黄色和红色节点的标签。
- 移除不必要的红色叶子节点。
- 将父子关系中的红色内部节点合并为一个红色节点。

这些转换规则分为三类：修剪（Prune）、合并（Collapse）和隐藏标签（Hide label），具体如下：

2.1 修剪规则

修剪规则作用于子节点为叶子节点的内部节点，旨在移除