Analysis of an Electronic Boardroom Voting System
Analysis of an Electronic Boardroom Voting System
复制标题
电子董事会投票系统的分析
DOI：
10.1007/978-3-642-39185-9_7
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Cyrille Wiedling
中科院分区：
文献类型：
--
作者：
Mathilde Arnaud;V. Cortier;Cyrille Wiedling
我们研究了一个简单的电子董事会投票系统。虽然大多数现有的系统依赖于不透明的电子设备，但一个研究机构的科学委员会（CNRS Section 07）最近提出了一种替代系统。尽管它很简单（特别是不使用加密技术），但每个选民都可以检查选举结果是否与投票相符，而不必信任设备。
We study a simple electronic boardroom voting system. While most existing systems rely on opaque electronic devices, a scientific committee of a research institute (the CNRS Section 07) has recently proposed an alternative system. Despite its simplicity (in particular, no use of cryptography), each voter can check that the outcome of the election corresponds to the votes, without having to trust the devices.
In this paper, we present three versions of this system, exhibiting potential attacks. We then formally model the system in the applied pi-calculus, and prove that two versions ensure both vote correctness (even if the devices are corrupted) and ballot secrecy (assuming the devices are honest).