12、保密约束推理：原理、算法与应用

保密约束推理：原理、算法与应用

1. 保密推理的核心原理

在保密推理中，有两个重要的补充原则，它们是核心原则的推论。

• 原理三：对轻信推理者保持谨慎
  设 (K) 和 (K’) 为认知状态，除保密策略外其他组件可能相等。保密策略形式如下：
  (S(K) = {(\varphi_1, Bel_1), \ldots (\varphi_n, Bel_n)})，(S(K’) = {(\varphi_1, Bel_1’), \ldots (\varphi_n, Bel_n’)})，且对于所有 (i \in {1, \ldots, n})，有 (Bel_i \succeq_{cred} Bel_i’)。
  如果存在动作 (a, b \in Act’) 使得 (vioAfter(K, a) = {\varnothing}) 且 (vioAfter(K’, b) = {\varnothing})，那么对于分类 (cl = sr(Act’, K)) 和 (cl’ = sr(Act’, K’))，有 ({a \in Act’ | cl(a) = 0} \subseteq {a \in Act’ | cl’(a) = 0})。

• 原理四：不确定性越高越谨慎
  设 (K) 和 (K’) 为认知状态，除 (VPW(K) \supseteq VPW(K’)) 外其他组件相等。
  如果存在动作 (a, b \in Act’) 使得 (vioAfter(K, a) = {\varnothing}) 且 (vioAfter(K’, b) = {\varnoth