39、投票协议属性之间的关系深入解析

投票协议属性之间的关系深入解析

在投票系统中，协议的各种属性如可验证性、问责性、隐私性和抗胁迫性等，对于保障选举的公平、公正和安全至关重要。下面我们将详细探讨这些属性及其相互关系。

1. 符号表示

为了准确描述投票协议的各种属性和过程，我们使用了一系列特定的符号，如下表所示：
| 符号 | 类型 | 含义 |
| ---- | ---- | ---- |
| π(η) | 过程 | 所有程序都使用安全参数 η 的过程 π |
| π1∥π2 | 过程 | 过程 π1 和 π2 的并发组合 |
| π(⃗x) | 过程 | 以输入 ⃗x 运行的过程 π |
| πP \Σ′ | 过程 | πP 的所有子过程的并发组合，不包括代理 a ∈Σ′ ⊆Σ 的子过程 πa |
| πP \⃗i | 过程 | 与 πP \Σ′ 相同，其中 Σ′ = {vi1, …, vik}，⃗i ⊆{1, …, |V |} |
| π →(a : y) | 事件 | 在 π 的运行中，代理 a ∈Σ 的最终输出是 y |
| π _A →y | 事件 | 在 π 的运行中，对手 π _A 的最终输出是 y |
| π ⊨γ | 事件 | π 的运行满足属性 γ |
| dis(a) | 属性 | 代理 a ∈Σ 已被破坏 |
| voted(i, c) | 属性 | 选民 vi ∈V 投了 c 票 |
| Fdis | 集合 | 关于 a ∈Σ 的文字 dis(a) 的布尔公式集合 |

2. 投票协议相关符号