Votação Electrónica Estrutura da Apresentação - INESC-ID

Votação Electrónica
SINFO 2003
Rui Joaquim
IST/Inesc-ID
[email protected]
Estrutura da Apresentação
„
Introdução
„
„
„
„
„
„
Votação pela Internet
„
„
„
„
„
„
Definições
Fases de uma votação
Propriedades de uma votação
Tecnologias de votação
Exemplos de votações
Vantagens
Problemas
Introdução de sistemas de votação pela Internet
Técnicas utilizadas
Exemplos de sistemas
Conclusões
1
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.
2
Fases de uma votação
„
Registo
„
„
Verificação do eleitor
„
„
„
„
Elaboração dos cadernos eleitorais.
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.
3
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
4
Exemplo 1 (1)
„
Urna electrónica (funcionamento)
4- Levantamento do cartão de eleitor
3- Votação
2- Autorização para um voto
1- Autenticação e verificação do eleitor
Exemplo 1 (2)
„
Urna electrónica simples (Bélgica)
5
Exemplo 1 (3)
„
Urna electrónica (França, Holanda, Alemanha, Irlanda, UK)
Exemplo 2
„
Brasil
6
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
„
„
„
„
„
„
Votação pela Internet
„
„
„
„
„
„
Definições
Fases de uma votação
Propriedades de uma votação
Tecnologias de votação
Exemplos de votações
Vantagens
Problemas
Introdução de sistemas de votação pela Internet
Técnicas utilizadas
Exemplos de sistemas
Conclusões
7
Votação pela Internet
Vantagens
„
„
„
„
Rapidez no apuramento de resultados
Custo
Período de voto alargado
Mobilidade
8
Problemas
Info-exclusão
Segurança do meio
Implementação
„
„
„
„
„
Não coercibilidade/privacidade VS Verificabilidade
Robustez
„
„
„
„
(DNS, cavalos de Tróia, vírus, ...)
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
9
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
„
„
„
„
„
„
Votação pela Internet
„
„
„
„
„
„
Definições
Fases de uma votação
Propriedades de uma votação
Tecnologias de votação
Exemplos de votações
Vantagens
Problemas
Introdução de sistemas de votação pela Internet
Técnicas utilizadas
Exemplos de sistemas
Conclusões
10
Técnicas utilizadas
„
Mix-Nets
Mix
Mix
Mix
V1
V2
V3
M
M
M
V2
V1
V3
M
Técnicas utilizadas
„
Cifra homomórfica
Votos cifrados
Resultados
11
Técnicas utilizadas
Assinaturas cegas
„
De seguida…
„
Introdução
„
„
„
„
„
„
Votação pela Internet
„
„
„
„
„
„
Definições
Fases de uma votação
Propriedades de uma votação
Tecnologias de votação
Exemplos de votações
Vantagens
Problemas
Introdução de sistemas de votação pela Internet
Técnicas utilizadas
Exemplos de sistemas
Conclusões
12
Exemplos: EVOX
Administrador
1
Anonimizador
2
Contador
3
1 – 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
1 – Obtenção do boletim
2
Manager
1
Anonimizador
3
Contador
4
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
13
Exemplos: REVS
Distribuidores
de boletins
Administradores
Anonimizador
2
3
1
Contador
1 – Obtenção do boletim
2 – Obtenção de assinaturas
3 – Submissão do boletim
Considerações:
Votante
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
„
„
„
„
„
„
Votação pela Internet
„
„
„
„
„
„
Definições
Fases de uma votação
Propriedades de uma votação
Tecnologias de votação
Exemplos de votações
Vantagens
Problemas
Introdução de sistemas de votação pela Internet
Técnicas utilizadas
Exemplos de sistemas
Conclusões
14
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
Confiança no código
Robustez
(auditoria)
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
15
Conclusões (3)
„
A introdução de sistemas baseados na
Internet deve ser faseada
„
„
„
„
Voto
Voto
Voto
Voto
por Internet nas assembleias de voto
por Internet em qualquer assembleia de voto
em quiosques controlados em locais públicos
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
„
„
„
„
„
„
„
http://www.internetpolicy.org
http://www.ss.ca.gov/executive/ivote
http://www.vote.caltech.edu/Reports
http://e-voto.di.fc.ul.pt
http://www.ev-studentvote.org
http://lorrie.cranor.org
http://theory.lcs.mit.edu/~cis/voting/voting.html
16
Fim.
Dúvidas???
Rui Joaquim
IST/Inesc-ID
[email protected]
http://www.gsd.inesc.pt/~rjoaquim
17