Certifying Voting Protocols
Certifying Voting Protocols
复制标题
验证投票协议
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
C. Schürmann
中科院分区：
文献类型：
--
作者：
C. Schürmann
自2000年以来，除11个国家外，世界上所有国家都举行了全国选举。这些国家中的大多数都以某种方式在投票过程中使用计算机，例如，核对选举角色的选民，以数字方式记录选票，以及计算社会选择功能。选举是代议制民主的基石，选民对投票过程的集体信任使其结果合法化。我们在DemTech研究项目（www.demtech.dk）中的工作旨在通过将现代定理证明技术应用于投票协议和模式领域来保持甚至提高信任水平。
Since 2000, all but eleven countries in the world have held national elections. Most of these countries have been using computers in the voting process in one way or the other, for example, for checking off voters of the electoral role, for digitally recording of votes, and also for computing the social choice function. Elections are the cornerstone of representative democracies, the collective trust of the voters in the voting process legitimizes its result. Our work within the DemTech research project ( www.demtech.dk ) aims to maintain or even increase the level of the trust by applying modern theorem proving technology to the domain of voting protocols and schemas.