voto electrónico

Voto electrónico es una expresión que comprende varios tipos de votación, que abarca tanto modos electrónicos de emitir votos como medios electrónicos de contar los votos. Las tecnologías para el voto electrónico pueden incluir tarjetas perforadas, sistemas de votación mediante escáneres ópticos y quioscos de votación especializados (incluso sistemas de votación auto contenidos sistemas de votación de Registro o Grabación Electrónica Directa, DRE por sus siglas en inglés). También puede referirse a la transmisión de papeletas y votos por vía telefónica, redes de computación privadas o por Internet. Las tecnologías del voto electrónico pueden acelerar el conteo de los votos y proveer una mejor accesibilidad para los votantes con algún tipo de discapacidad. Sin embargo, ha sido calificado como anticonstitucional en algunos países (como Alemania)​ con el argumento de "no permitir la fiscalización del proceso" por personas sin conocimientos altamente especializados. No se ha encontrado[cita requerida] un modelo formal (conocido en la jerga como Model checking) que garantice la seguridad de un sistema electrónico de votación. Los modelos formales son un requisito[cita requerida] básico para mostrar que un sistema no tiene fallas triviales.