35、电子选举与谓词加密的安全方案

电子选举与谓词加密的安全方案

在当今数字化时代，电子选举和数据加密的安全性至关重要。本文将介绍电子选举中的抗胁迫方案以及谓词加密的相关内容，探讨其工作原理、安全特性和实际应用。

电子选举中的抗胁迫方案

在电子选举中，为了确保选举的公正性和安全性，采用了一系列的措施。

计票流程

1. 凭证验证 ：计算 $C_z$ 并解密，如果解密结果为 1，则凭证有效；否则为无效凭证。
2. 计票操作 ：丢弃所有包含无效凭证的元组，并对包含有效凭证的元组中的 $E_T [v]’$ 进行联合解密。

安全特性分析

1. 正确性
   • 证明 $\Pi_i$ 的目的是确保只有包含有效凭证的选票（元组）才会被计入。
   • 计票人员和注册人员在制表阶段的步骤 4 中进行测试，计算密文 $E_T [B_y^{\beta}B_{\theta}g_1^{-1}g_3^{-\mu}]$，若其解密结果为 1，则意味着 $B_y^{\beta + \theta}g_1^{-1}g_3^{-\mu} = 1$。
   • 选民在投票阶段需要证明 $\beta \neq 0 \pmod{p}$，这一点至关重要，否则攻击者可能在不知道有效凭证的情况下生成通过测试的选票。
   • 这种验证方法确保了有效选票不会被误判为无效，反之亦然，并且由于 q - SDH 假设，无人能伪造有效凭证，只有合格选民的选票会被计入最终结果