Koa. Koa é um software livre eletrônico / sistema de voto remoto / Internet desenvolvido para o governo holandês em 2003.
Baixe Agora

Koa. Classificação e resumo

Koa. Tag

Internet controlo remoto eletrônico Sistema de votação Votação remota Votação da Internet.

Koa. Descrição

O Koa é um sistema de votação eletrônico / controle remoto / internet gratuito para o governo holandês em 2003. Koa significa Kiezen Op Afstand e é um software livre eletrônico / sistema de votação eletrônico / internet desenvolvido para o governo holandês em 2003. "Kiezen OP Afstand" é literalmente traduzido de holandês como "votação remota". Uma versão deste sistema foi utilizada na eleição parlamentar europeia de junho de 2004 e foi posteriormente lançada sob a Licença Pública Geral da GNU. Como parte deste trabalho, o Grupo Security of Systems (SOS) na Radboud University Nijmegen escreveu uma aplicação de contagem independente formalmente especificada e (parcialmente) verificada usando a linguagem de modelagem Java (JML) e o Verificador Estático Estendido para Java, ESC / Java2. A versão do Koa divulgada pelo governo holandês sob a GPL não estava completa. Um número de funcionalidades, constituindo cerca de 10% do sistema de koa implantado, eram proprietários e pertencentes aos autores, LogicAcmg. Além disso, certas outras alterações foram feitas para fins de publicação (por exemplo, o comprimento de pares públicos / privados foi eliminado). Este 10% foi projetado reverso e todo o sistema foi portado para uma fundação de código aberto totalmente aberta. Koa também está sendo estendido para apoiar o sistema eleitoral irlandês. Este trabalho está sendo realizado através do desenvolvimento de um plugin chamado Votual. O núcleo de um votúnio é uma especificação completa da JML do sistema de contagem de votos irlandeses. Esta especificação formal é derivada da especificação funcional completa para o algoritmo de contagem eleitoral, conforme estabelecido na lei irlandesa. Uma implementação dessa especificação está sendo escrita no momento usando nosso design centrado em verificação por metodologia contratual. Outro trabalho em Koa, como uma plataforma experimental para votação eletrônica e remota, continua. Primeiro, estamos identificando as propriedades de segurança principais da votação eletrônica e remota que devem ser formalmente especificadas em um alto nível em um idioma específico de domínio, e verificada fornecendo uma metodologia, tanto teórica quanto prática, para traduzir essas especificações de alto nível em Especificações de concreto, baixo nível e anotações com a intenção de verificar formalmente essas propriedades em Koa. Além disso, um applet de votação remoto baseado em MIDP foi desenvolvido no UCD. Esta aplicação está sendo revisada para possível incorporação em Koa, usando a mesma abordagem centrada na verificação usada no resto do trabalho KOA.

Koa. Software Relacionado