El término " independencia del software " ( SI ) fue acuñado por el Dr. Ron Rivest y el investigador del NIST John Wack. Una máquina de votación independiente del software es aquella cuyo registro de tabulación no depende únicamente del software. El objetivo de un sistema SI es determinar definitivamente si todos los votos se registraron legítimamente o por error. [1]
La definición técnica de SI es: [2]
Un sistema de votación es independiente del software si un cambio o error no detectado en su software no puede causar un cambio o error indetectable en el resultado de una elección.
El SI se ha redefinido como una propiedad global para una tabulación de votos en lugar de cada voto individual, con el objetivo de detectar en lugar de prevenir errores y fraudes a través de procesos humanos. [3]
El Comité de Desarrollo de Directrices Técnicas de la Comisión de Asistencia Electoral adoptó una resolución SI para la próxima iteración de las Directrices del Sistema de Votación Voluntaria (VVSG): [4]
Los funcionarios y proveedores electorales han respondido adecuadamente a la creciente complejidad de los sistemas de votación agregando controles de acceso más estrictos, encriptación, pruebas y seguridad física a los procedimientos y sistemas electorales. El TGDC ha analizado las amenazas actuales a los sistemas de votación y, en este momento, considera que las preocupaciones de seguridad no justifican la sustitución de los sistemas de votación implementados en los que se utilizan las mejores prácticas de la EAC.
Para brindar capacidad de auditoría y abordar de manera proactiva la creciente dificultad de protegerse contra todas las amenazas potenciales, el TGDC ordena a STS que redacte requisitos para la próxima versión de la VVSG que exija que la próxima generación de sistemas de votación sea independiente del software. El TGDC ordena a STS y HFP que redacten requisitos de usabilidad y accesibilidad para garantizar que todos los votantes puedan verificar el registro de votación independiente.
El TGDC también ordena a los Subcomités de STS y de Requisitos Básicos y Pruebas (CRT) que redacten requisitos para garantizar que los sistemas que producen registros de votación verificables de forma independiente sean confiables y brinden un respaldo adecuado para las auditorías.
Ejemplos de sistemas de votación independientes del software son los sistemas de votación con escaneo óptico y las computadoras de votación electrónica de grabación directa (DRE) con un registro de auditoría en papel verificado por el votante .
{{cite web}}: CS1 maint: varios nombres: lista de autores ( enlace )