Estrutura da Apresentação

Transcrição

1 Votação Electrónica SINFO 2003 Rui Joaquim IST/Inesc-ID Estrutura da Apresentação Introdução Definições Fases de uma votação Propriedades de uma votação Tecnologias de votação Exemplos de votações Votação pela Internet Vantagens Problemas Introdução de sistemas de votação pela Internet Técnicas utilizadas Exemplos de sistemas Conclusões

2 Definições (1) Sistema de votação Todo o equipamento e documentação usada para definir, implementar e auditar um processo de votação. Sistema de votação baseado em papel Sistema que recolhe e conta votos em papel. Sistema localizado Sistema centralizado Definições (2) Sistema de votação electrónica Recolhe os votos por meios mecânicos, ópticos ou electrónicos, e processa- os por meios informáticos. O voto é presencial (requer a presença do eleitor no local de voto). Sistema de votação pela Internet É um sistema de votação electrónica em que o voto é enviado através da Internet. Não é necessariamente presencial.

3 Fases de uma votação Registo Elaboração dos cadernos eleitorais. Verificação do eleitor Verificação da entidade do eleitor. Verificação se já votou ou não. Recolha Contagem Propriedades de uma votação (1) Correcção Não é possível alterar um voto. Um voto válido não pode ser eliminado. Um voto inválido não pode fazer parte da contagem final. Democracia Só eleitores elegíveis podem votar. Cada eleitor só pode votar uma vez.

4 Propriedades de uma votação (2) Privacidade Nenhuma autoridade de voto nem ninguém consegue ligar um boletim de voto ao eleitor que o depositou. Nenhum votante pode provar que votou de uma determinada maneira. Verificabilidade Um sistema é verificável se qualquer pessoa puder verificar se todos os votos foram contados correctamente. Tecnologias de votação Boletins de papel (século XIX) Máquinas de alavancas (final do século XIX) Cartões perfurados (anos 60) Digitalizadores ópticos (anos 90) Dispositivos electrónicos de registo directo (direct recording electronic devices, DRE. Anos 90) Urnas electrónicas Votação pela Internet

5 Exemplo 1 (1) Urna electrónica (funcionamento) 3- Votação 4- Levantamento do cartão de eleitor 2- Autorização para um voto 1- Autenticação e verificação do eleitor Exemplo 1 (2) Urna electrónica simples (Bélgica)

6 Exemplo 1 (3) Urna electrónica (França, Holanda, Alemanha, Irlanda, UK) Exemplo 2 Brasil

7 Exemplo 3 European Union Student Council Elections Votação pela Internet Realizou-se em Maio de 2002 Primeira experiência em grande escala de votação pela Internet De seguida Introdução Definições Fases de uma votação Propriedades de uma votação Tecnologias de votação Exemplos de votações Votação pela Internet Vantagens Problemas Introdução de sistemas de votação pela Internet Técnicas utilizadas Exemplos de sistemas Conclusões

8 Votação pela Internet Vantagens Rapidez no apuramento de resultados Custo Período de voto alargado Mobilidade

9 Problemas Info-exclusão Segurança do meio (DNS, cavalos de Tróia, vírus,...) Implementação Não coercibilidade/privacidade VS Verificabilidade Robustez Falhas nos servidores e/ou máquina cliente Falhas nas comunicações Pontos únicos de falha Confiança no código Código Open Source Introdução de sistemas de votação pela Internet (1) Voto nas assembleias de voto Voto por Internet nas assembleias de voto Apenas substituição dos sistemas actuais Ambiente controlado Autenticação tradicional Voto por Internet em qualquer assembleia de voto Ambiente controlado Autenticação tradicional Mobilidade

10 Introdução de sistemas de votação pela Internet (2) Voto remoto Voto em quiosques controlados em locais públicos Ambiente controlado Autenticação por password ou assinatura digital Mais mobilidade Voto em qualquer computador ligado à Internet Ambiente não controlado Autenticação por password ou assinatura digital Mobilidade total De seguida Introdução Definições Fases de uma votação Propriedades de uma votação Tecnologias de votação Exemplos de votações Votação pela Internet Vantagens Problemas Introdução de sistemas de votação pela Internet Técnicas utilizadas Exemplos de sistemas Conclusões

11 Técnicas utilizadas Mix-Nets V1 V2 V3 Mix Mix Mix V2 V1 V3 M M M M Técnicas utilizadas Cifra homomórfica Votos cifrados Resultados

12 Técnicas utilizadas Assinaturas cegas De seguida Introdução Definições Fases de uma votação Propriedades de uma votação Tecnologias de votação Exemplos de votações Votação pela Internet Vantagens Problemas Introdução de sistemas de votação pela Internet Técnicas utilizadas Exemplos de sistemas Conclusões

13 Exemplos: EVOX Administrador Anonimizador Contador Obtenção do boletim 2 Obtenção da assinatura 3 Submissão do boletim Votante Considerações: O Administrador tem todo o poder Ponto único de falha (Administrador) Pouco tolerante a falhas nos servidores e nas comunicações Ex: EVOX Managed Administrators Administradores Manager Anonimizador Contador 1 Obtenção do boletim 2 Obtenção de assinaturas dos Administradores 3 Obtenção da assinatura do Manager 4 Submissão do boletim Votante Considerações: Poder dividido entre várias entidades Autenticação fraca (uma só password para todas as autenticações) Ponto único de falha (Manager) Pouco tolerante a falhas nos servidores e nas comunicações

14 Exemplos: REVS Distribuidores de boletins Administradores Anonimizador Contador 1 Obtenção do boletim 2 Obtenção de assinaturas 3 Submissão do boletim Votante Considerações: Autenticação revista (password diferente para cada autenticação) Não tem pontos únicos de falha Tolera a falhas nos servidores e nas comunicações Por fim Introdução Definições Fases de uma votação Propriedades de uma votação Tecnologias de votação Exemplos de votações Votação pela Internet Vantagens Problemas Introdução de sistemas de votação pela Internet Técnicas utilizadas Exemplos de sistemas Conclusões

15 Conclusões (1) Existem vantagens no uso de sistemas de votação electrónica Rapidez no apuramento de resultados Custo Vantagens acrescidas da votação pela Internet Mobilidade Período de voto alargado (a custo reduzido) Conclusões (2) O uso de DRE s tem problemas intrínsecos Verificabilidade do sistema (auditoria) Confiança no código Robustez Mais problemas se for um sistema de votação para a Internet Falhas nos servidores e/ou máquina cliente Falhas nas comunicações Segurança do meio (DNS, cavalos de Tróia, vírus,...) Autenticação

16 Conclusões (3) A introdução de sistemas baseados na Internet deve ser faseada Voto por Internet nas assembleias de voto Voto por Internet em qualquer assembleia de voto Voto em quiosques controlados em locais públicos Voto em qualquer computador ligado à Internet Links Internet Policy Institute California Task Force Caltech-MIT Sistemas Electrónicos de Votação European Student Council Página de votação electrónica de Lorrie Cranor Página do EVOX

17 Fim. Dúvidas??? Rui Joaquim IST/Inesc-ID