On the notion of ‘software independence’ in voting systems
On the notion of ‘software independence’ in voting systems
复制标题
DOI：
10.1098/rsta.2008.0149
复制
发表时间：
2008-10
期刊：
影响因子：
--
通讯作者：
R. Rivest
中科院分区：
文献类型：
--
作者：
R. Rivest
本文定义并探讨了投票系统中“软件独立性”的概念：“投票系统是软件独立的，如果（未检测到的）变化或错误，其软件不能导致无法检测到的变化或错误的选举结果”。例如，光学扫描和一些基于密码的投票系统是软件独立的。这个定义的变化和影响进行了探讨。建议应首选软件独立的投票系统，并应避免软件依赖的投票系统。本文的初始版本是为技术准则开发委员会在制定自愿投票系统准则时使用而编写的，该准则将规定美国投票系统必须满足的要求，以获得认证。
This paper defines and explores the notion of ‘software independence’ in voting systems: ‘A voting system is software independent if an (undetected) change or error in its software cannot cause an undetectable change or error in an election outcome’. For example, optical scan and some cryptographically based voting systems are software independent. Variations and implications of this definition are explored. It is proposed that software-independent voting systems should be preferred, and software-dependent voting systems should be avoided. An initial version of this paper was prepared for use by the Technical Guidelines Development Committee in their development of the Voluntary Voting System Guidelines, which will specify the requirements that the USA voting systems must meet to receive certification.