维罗尼克·科尔蒂尔;皮埃里克·高德利;圣埃芬·格隆杜 Belenios：一个简单的私人可验证电子投票系统。 （英语） Zbl 07176730号 Guttman，Joshua D.（编辑）等人，《安全、协议和等式推理的基础》。献给凯瑟琳·A·梅多斯的散文。查姆：斯普林格。莱克特。注释计算。科学。11565, 214-238 (2019). 摘要：我们介绍了电子投票协议Belenios及其相关的投票平台。Belenios保证投票隐私和完全可验证性，即使在投票服务器受损的情况下也是如此。虽然投票协议的核心已经过描述，并且正式证明是安全的，但我们在这里详细介绍了从设置到计数和恢复过程的完整投票系统。我们对Belenios在实践中的使用进行了评论。特别是，我们讨论了选举管理员对解密密钥所做的安全选择，以及将一些设置任务委托给投票平台。关于整个系列，请参见[Zbl 1412.68009号]. 引用于4文件 MSC公司： 94A60型 密码学 91B12号机组 投票理论 软件：贝莱尼奥斯;太阳神;EasyCrypt公司 PDF格式BibTeX公司 XML格式引用 \textit{V.Cortier}等人，Lect。注释计算。科学。11565、214--238（2019；Zbl 07176730） 全文： 内政部 哈尔