Koa KOA es un software gratuito Sistema de votación electrónica / remoto / Internet desarrollado para el gobierno holandés en 2003.
Descargar ahora

Koa Clasificación y resumen

Koa Etiquetas

Internet remoto electrónico sistema de votación votación remota Votación de internet

Koa Descripción

KOA es un sistema de votación electrónica / remoto de software gratuito desarrollado para el gobierno holandés en 2003. Koa significa Kiezen OP Faskand y es un sistema de votación electrónica / remoto de software gratuito desarrollado para el gobierno holandés en 2003. "Kiezen OP Fasstand" se traduce literalmente de holandés como "votación remota". Se utilizó una versión de este sistema en la elección parlamentaria europea de junio de 2004 y posteriormente se lanzó bajo la licencia pública general de la GNU. Como parte de este trabajo, el grupo de seguridad de los sistemas (SOS) en la Universidad de Radboud Nijmegen escribió una aplicación de tally independiente que se especificó formalmente y (parcialmente) verificó utilizando el lenguaje de modelado Java (JML) y el inspector estático extendido para Java, ESC / Java2. La versión de KOA publicada por el gobierno holandesa bajo la GPL no estaba completa. Una serie de piezas de funcionalidad, que constituyen aproximadamente el 10% del sistema de KOA desplegado, fueron propietarias y propiedad de los autores, Logicacmg. Además, se realizaron algunos otros cambios con fines de publicación (por ejemplo, la longitud de los pares de claves públicos / privados). Este 10% ha sido diseñado inverso y todo el sistema ha sido trasladado a una base completamente abierta. KOA también se está extendiendo para apoyar al sistema electoral irlandés. Este trabajo se está llevando a cabo a través del desarrollo de un complemento llamado Votil. El núcleo de votil es una especificación completa de JML del sistema de conteo de votos irlandés. Esta especificación formal se deriva de la especificación funcional completa para el algoritmo de conteo de elecciones según lo establecido en la ley irlandesa. En este momento, se está escribiendo una implementación de esta especificación utilizando nuestro diseño centrado en la verificación por metodología del contrato. Otro trabajo en KOA, como una plataforma experimental para la votación electrónica y remota, continúa. Primero, estamos identificando las propiedades de seguridad central de la votación electrónica y remota que deben especificarse formalmente a un alto nivel en un idioma específico del dominio, y verificados proporcionando una metodología, tanto teórica como práctica, para traducir dichas especificaciones de alto nivel en Especificaciones concretas, de bajo nivel y anotaciones de tipo con la intención de verificar formalmente estas propiedades en KOA. Además, se ha desarrollado un applet de votación remoto basado en MIDP en UCD. Esta solicitud se está revisando para una posible incorporación en KOA, utilizando el mismo enfoque centrado en la verificación utilizado en el resto del trabajo de KOA.

Koa Software relacionado