商报:选举署发言人希敏尼斯昨天说,选举署已准备组合将在明年中期选举使用的整体软件系统。
希敏尼斯说,已完成了自动化选举系统的国际源代码审查,选举署能够进入软件组合阶段。
他说,审查程序仔细检查了自动化选举系统的每一个部分,以确保它们将如设计的那般运作,以及源代码中没有恶意指示。
源代码是指一个软件的纯文字版。法律要求自动化选举系统的软件必须经过审查。
希敏尼斯说,软件组合阶段称为“可信构建”,这个过程将于12月14日在脸书上直播。
它也在美国阿拉巴马进行,当地的软件测试公司pro v&v进行了源代码的审查。
他说:“这对系统的可信度是很重要的,因为这保证该系统没有不正当的组成部分,所有的组成部分都经过适当的排查及清理。”
他说,出自此组合阶段的系统将产生一个独一无二的数字指纹,用来检验自动化选举系统的全部组成部分。
他说,意思是点票机的数字指纹应与在“可信构建”期间所产的数字指纹对应。
希敏尼斯说:“通过这种方式,我们知道点票机是以可信构建创建的程序驱动。”
明年选举源代码通过外国公司审查