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 se basa únicamente en el 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.
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]
Resolución TGDC
La Comisión de Asistencia Electoral 's Comité de Desarrollo de las Directrices Técnicas adoptó una resolución de la IS para la siguiente iteración de las directrices del sistema de voto voluntario (VVSG): [4]
Los funcionarios electorales y los proveedores han respondido adecuadamente a la creciente complejidad de los sistemas de votación agregando controles de acceso, cifrado, pruebas y seguridad física más estrictos a los procedimientos y sistemas electorales. El TGDC ha considerado las amenazas actuales a los sistemas de votación y, en este momento, encuentra que las preocupaciones de seguridad no justifican el reemplazo de los sistemas de votación implementados donde se utilizan las mejores prácticas de EAC.
Para proporcionar auditabilidad y abordar de manera proactiva la creciente dificultad de protección contra todas las amenazas potenciales, el TGDC indica a STS que escriba los requisitos para la próxima versión del VVSG que requiere que la próxima generación de sistemas de votación sea independiente del software. El TGDC ordena a STS y HFP que redacten los requisitos de usabilidad y accesibilidad para garantizar que todos los votantes puedan verificar el registro de votación independiente.
El TGDC además dirige a STS y a los Subcomités de Pruebas y Requisitos Básicos (CRT) a redactar requisitos para garantizar que los sistemas que producen registros de votación verificables de forma independiente sean confiables y brinden el apoyo adecuado para las auditorías.
Sistemas de ejemplo
Ejemplos de sistemas de votación independientes del software son los sistemas de votación de escaneo óptico y las computadoras de votación electrónica (DRE) de grabación directa con un registro de auditoría en papel verificado por los votantes .
Referencias
- ^ Exigencia de la independencia del software en VVSG 2007: Recomendaciones de STS para el TGDC Archivado el 28 de noviembre de 2009 en Wayback Machine , Un borrador del documento técnico , que no representa lapolítica del NIST
- ^ Rivest, Ron y Wack, John (2006). "Sobre la noción de" independencia del software "en los sistemas de votación" ( PDF ) . Versión BORRADOR 28 de julio de 2006 . Consultado el 15 de febrero de 2007 . Cite journal requiere
|journal=
( ayuda )CS1 maint: varios nombres: lista de autores ( enlace ) - ^ Cuatro enfoques de SI y accesibilidad , preparado bajo la dirección de los subcomités de HFP y STS del Comité de Desarrollo de Directrices Técnicas (TGDC) ( este documento ha sido preparado por el Instituto Nacional de Estándares y Tecnología bajo la dirección de los subcomités de HFP y STS del TGDC. Puede representar resultados de investigación preliminares y no necesariamente representa ninguna posición política del NIST o del TGDC ) .
- ^ Resoluciones adoptadas por el TGDC en la sesión plenaria del 4 y 5 de diciembre