选举的保密性与可验证性简介
密码学与安全
2018-09-20 v3
摘要
我们探究确保选举方案按预期运行所必需的基本属性。该探究揭示了我们对这些预期的理解如何演变，最终形成了满足预期所需属性的形式化定义。我们深入剖析保密性与可验证性的定义，使我们能够理解并领会这些概念背后的直觉与技术细节。借助定义，我们可以构建能够被证明按预期运行的选举方案。并且，作为一个说明性示例，我们回顾了以此方式构建并被证明安全的 Helios 选举系统的一个变体。此外，这些定义可用于分析现有选举方案，并已发现漏洞。事实上，我们描述了一系列在分析原始 Helios 系统过程中发现的漏洞，这些漏洞推进了我们对系统行为的理解，并促使了上述变体的设计。因此，本文通过分享关于选举的宝贵见解，并展示形式化定义与分析在构建保证按预期运行方案中的价值，为安全科学做出贡献。
引用
@article{arxiv.1702.03168,
title = {A short introduction to secrecy and verifiability for elections},
author = {Elizabeth A. Quaglia and Ben Smyth},
journal= {arXiv preprint arXiv:1702.03168},
year = {2018}
}