31、电子投票系统的威胁分析与选民匿名性探讨

电子投票系统的威胁分析与选民匿名性探讨

一、Prˆet `a Voter 系统的威胁分析

1.1 Prˆet `a Voter 系统的韧性与潜在威胁

Prˆet a Voter 系统在应对诸多漏洞方面表现出了显著的韧性，这些漏洞很多源于选民与设备的交互以及投票时熵的生成。然而，该系统可能容易受到链式投票攻击，这种攻击不适用于按需生成加密材料的方案。特别是在具有预准备选票形式和网络公告板的选民可验证方案中，这种攻击尤为严重。不过，针对 Prˆet a Voter 系统面临的此类威胁，已经有人提出了相应的对策。

1.2 投票方案设计与评估的要点

和任何安全系统一样，投票方案的设计和评估需要格外谨慎，不仅要关注加密核心，还要考虑周边系统。对 Prˆet `a Voter 系统的分析为其未来发展提供了有价值的见解，并提出了一些改进建议。同时，也强调了需要有足够的错误处理和恢复策略，并且采用 VPEAT 风格的机制会非常理想。

1.3 威胁分析的局限性与意义

这里的分析和 Karlof 等人的分析一样，当然不能对 Prˆet `a Voter 系统的所有基于系统的威胁进行详尽、系统的识别。鉴于系统的开放性，这种分析可能永远无法保证全面覆盖所有威胁。但我们认为，这一分析是朝着更系统的加密投票系统分析技术迈出的有用的第一步。我们通过探索可能的故障模式和攻击者能力的空间，为构建威胁模型奠定基础。

1.4 攻击分类与未来研究方向

我们已经初步建立了攻击的分类体系，如潜意识通道、侧信道、窃密通道、社会工程威胁、心理威胁等。一种设计层面的信息流分析似乎有助于