EMS可信构建
2025-08-16 07:25

EMS可信构建

  

  选举管理系统(EMS)于2024年12月23日经历了一个名为“可信构建”的过程。该过程由美国国际认证机构Pro V&V执行,该机构赢得了该项服务的竞标。Pro V&V是由美国选举援助委员会(US EAC)认可的投票系统测试实验室(见https://www.eac.gov/)。这个过程是在Pro V&V美国办公室现场执行的,并向菲律宾观察员进行了直播。

  EMS是具有透明度和审计/计数的全自动化系统(FASTrAC)的一个组成部分。与EMS一起的是自动点票机和拉票和合并系统,由韩国公司Miru system和菲律宾公司集成计算机系统公司(ICS)和中心点解决方案和技术公司(CPSTI)的合资企业提供。另外两个FASTrAC组件是由iOne Resources, Inc.和Ardent Networks Inc.的合资企业提供的安全电子传输系统(SETS)和由SMS Global Technologies Inc.和Sequent Tech Inc.的合资企业提供的在线投票和计数系统(OVCS),这些系统将由海外菲律宾人使用。

  每个FASTrAC组件都有一组源代码,这些源代码将经过可信的构建过程。

  任何系统的源代码都是由程序员和开发人员使用特定的计算机语言编写的。在编写源代码之前,开发人员收集由最终用户定义的系统需求。然后,开发人员将最终用户定义的需求放入一组设计和程序规范中。然后开发人员编写源代码,它本质上是一系列满足每个定义需求的程序指令,例如,查找矩形的面积。开发人员将考虑计算矩形面积的公式,即一边的长度乘以另一边的宽度。

  在将源代码转换成计算机可执行的版本(称为“机器码”)之前,它不是可执行的形式。转换的过程称为构建。然后将机器码安装在计算机中,然后投入运行。然后,操作机器代码将执行开发人员在源代码中定义的某些功能。回到查找矩形面积的示例,当机器码执行时,程序可能被设计为向最终用户询问矩形的长度和宽度。一旦被机器码接收,矩形的面积就被计算出来,结果要么被打印出来,要么被显示在计算机屏幕上。

  EMS具有多种功能。每个功能都由Comelec定义,然后开发人员在编写源代码时考虑Comelec。例如,Comelec使用选票设计器来开发选票布局和设计。该功能考虑到在即将到来的2025年选举中可供争夺的18271个选举职位以及竞选每个职位的候选人,以及其他参数。

  为了使用EMS源代码,必须将其转换为相应的机器码。在选举的背景下,转变的过程被称为“信任建设”。这是选举委员会通过的一项透明度措施。选举委员会邀请各选举利益相关者观察选举过程。

  可信构建包括以下步骤:

  1. 源代码审查。EMS源代码首先由供应商Pro V&V进行审查,以确保其符合Comelec在其FASTrAC的职权范围/提案请求中定义的要求。Pro V&V使用的审查标准是由美国EAC开发和维护的自愿投票系统指南(VVSG)(见:https://www.eac.gov/voting-equipment/voluntary-voting-system-guidelines)。VVSG更多地关注像ACM这样的投票系统,但VVSG的关键原则,如安全性、可访问性、可用性、可审计性和互操作性,可能在审查其他FASTrAC组件的源代码时发现适用性。Pro V&V有一套符合VVSG原则的指导方针。在审查完成后,生成了EMS源代码哈希码。哈希码是通过哈希码生成过程提取的代码的唯一表示形式。SHA256是使用的过程(参见:https://www.simplilearn.com/tutorials/cyber-security-tutorial/sha-256-algorithm)

  2. 建筑环境的创造。一台干净的计算机用于创建可信构建环境,这意味着计算机的存储设备经过了一个清理过程,以确保存储中没有其他源代码、程序或数据。在创建构建环境时,在可信构建过程中使用的工具已安装在计算机上。创建了一个运行Linux环境的虚拟机。源代码也安装在同一台计算机上。重新生成EMS源代码哈希码,并与源代码审查后生成的哈希码进行比较。哈希码验证过程可以保证经过可信构建过程的EMS源代码与经过审查的EMS源代码是相同的。

  3. 可信构建过程的执行。然后,受信任的构建过程生成相应的EMS机器代码。接下来是生成EMS机器码哈希码。

  4. 将EMS机器代码复制到外部存储器。EMS机器码及其签名被复制到外部存储设备中。正如在EMS可信大楼中所做的那样,EMS机器代码及其散列码被复制到一个USB闪存驱动器中,放在一个信封中并密封。印章上有序列号,信封上有Pro V&V代表的签名。

本内容为作者翻译自英文材料或转自网络,不代表本站立场,未经允许不得转载
如对本稿件有异议或投诉,请联系本站
想要了解世界的人,都在 切尔网

相关推荐