7、隐私选项形式语言 POL 的探索与应用

隐私选项形式语言 POL 的探索与应用

1. POL 到 PPL 的翻译规则

在处理复杂的 POL 合同翻译时，有一系列明确的规则。例如对于复杂的 POL 合同 c13 = data a1 p1 'and' data a2 p2 ，翻译步骤如下：
1. 将数据语句转换为 PolicySets。
2. 把它们封装在一个新的 PolicySet 中。
3. 添加两个 Obligations，它们会在数据 a1 或 a2 被使用时触发，目的是当一个数据项被使用时，立即触发另一个数据项的使用操作。

对于其他 POL− 原语的翻译也有相应规则：
- c4 = c1 'or' c2 ：先将 c1 和 c2 转换为 PolicySets，放入新的 PolicySet 中，并添加一个 Obligation，当 c1 或 c2 的数据使用事件发生时，删除 c1 和 c2 中的数据。
- c9 = until b c1 ：先将 c1 转换为 PolicySet，封装在新的 PolicySet 中，添加一个在条件 b 为真时触发的 Obligation，触发后删除数据。
- c5 = if b c1 或 c6 = ifnot b c1