EVMix 0.1.5
在我所研究的发行版本中,EVMix 在很多方面都是独一无二的。即使是它的名称也还没有必要固定下来。 让我来简单介绍一些背景。EVM2003 项目是一个由 SourceForge 托管开发完全使用自由软件的 投票记录机软件项目,这些机器能够生成选民可验证的选票。这个项目解决了当前私有的“触摸屏投票” 机器中存在的很多问题。我是这个项目的一名开发人员和体系结构顾问。
投票记录机的一个特殊要求是,您 真正地 希望它们运行 完全 相同的软件, 那些软件通过了鉴定,要在选举中使用。没有任何 slipstream 补丁;没有任何“maintenance releases”; 没有任何“trust Microsoft’s latest security update”;所以,出于特殊的而且必要的理由,机器上没有任何软件。 要完成可信任级别的发布控制,我们想到的最好办法恰好是将软件发布于 LiveCD 之上(只能是 CD-R,不能是 CD-RW)。 选举工作人员可以在整个磁盘映象上运行 MD5 哈希加密,并确保它 确实 拥有正确的软件集 —— 从 操作系统和驱动程序到正确的 Python 解释程序和正确的投票应用程序。
一张 EVMix CD 包含若干个应用程序,每个都需要稍有不同的工具链。StrongBox 的创建者 Liam Helmer 提出 了一个基于 StrongBox 的系统。我们的每个组件 —— 触摸屏、“ballot reconciliation”、为阅读有障碍的人 准备的(reading-impaired)音频接口、投票汇集 —— 都可以运行它们自己的虚拟系统。
通过使用虚拟服务器、所有 OS 组件上的数字签名以及 OS 中大量的只读部分,StrongBox 可以非常有力地防御 安全攻击。另外,它支持与媒介无关的虚拟引导,也就意味着,稍加修改或者不加改动,它就可以从 CDRom、闪存、 USB、SCSI 等等媒介上运行。这一独立特性使得 StrongBox 成为安全地部署嵌入式系统、计算机集群、企业 Linux 部署、安全的 Web 服务器、PBX 系统以及 kiosk 系统的理想选择。