Análise da Segurança e
Integridade da Urna Eletrônica
Brasileira
O Caso de Alagoas-2006
Clovis Torres Fernandes
Marcos Carvalho
ITA
Instituto Tecnológico de Aeronáutica
Clovis Torres Fernandes
1
Roteiro
Motivação
Funcionamento Básico da Urna Eletrônica
Irregularidades Encontradas em Alagoas 2006
Inconsistências nas Totalizações em AL-2006
Requisitos para um
Eletrônico Confiável
Sistema
de
Votação
2
Clovis Torres Fernandes
Funcionamento Básico da Urna
• Registro de LOG de
Ocorrências - Log
• Registro Digital de
Votos – RDV
• Boletim de Urna
Digital – BU Digital
3
Clovis Torres Fernandes
Log – Diário de Bordo
Flight Data
Recorder
4
Clovis Torres Fernandes
Log – Diário de Bordo
5
Clovis Torres Fernandes
Registro Digital de Votos – RDV
6
Clovis Torres Fernandes
Boletim de Urna Digital
BU Digital
7
Clovis Torres Fernandes
Boletim de Urna Digital
BU Digital
8
Clovis Torres Fernandes
Boletim de Urna Digital
BU Digital
9
Clovis Torres Fernandes
Boletim de Urna Digital
BU Digital
10
Clovis Torres Fernandes
Boletim de Urna Digital
BU Digital
11
Clovis Torres Fernandes
Boletim de Urna Digital
BU Digital
12
Clovis Torres Fernandes
Relacionamento entre
Elementos
RDV
Log
BU
Totalizador
13
Clovis Torres Fernandes
Perda de Integridade do Log
14
Clovis Torres Fernandes
Perda de Integridade do Log
15
Clovis Torres Fernandes
Perda de Integridade do Log
Log Vazio
16
Clovis Torres Fernandes
Perda de Integridade do Log
Log Muito Corrompido
ZE 35 SE 35 Sen TV
17
Clovis Torres Fernandes
Perda de Integridade do Log
18
Clovis Torres Fernandes
Log Totalmente Corrompido
ZE 15 SE 176 Rio Largo
19
Clovis Torres Fernandes
Log Totalmente Corrompido
ZE 05 SE 36 Viçosa
20
Clovis Torres Fernandes
21
Clovis Torres Fernandes
Conseqüências da Perda de
Integridade
RDV
Log
BU
Totalizador
22
Clovis Torres Fernandes
Conseqüências da Perda de
Integridade
Qual o percentual das 5166
urnas com perda de integridade?
44,19%
= 2.282 urnas
23
Clovis Torres Fernandes
Conseqüências da Perda de
Integridade
Qual o efeito da perda de
integridade na confiança do
funcionamento
da
urna
eletrônica?
24
Clovis Torres Fernandes
Conseqüências da Perda de
Integridade
Perda de característica
auditoria do log
de
25
Clovis Torres Fernandes
Conseqüências da Perda de
Integridade
Indicação de comportamento
irregular dos programas da urna
26
Clovis Torres Fernandes
Conseqüências da Perda de
Integridade
Não é possível afirmar que não
tenha
havido
perda
de
integridade do RDV
27
Clovis Torres Fernandes
Inconsistências nas
Totalizações
RDV
Log
BU
Totalizador
28
Clovis Torres Fernandes
Totalização através do Log
29
Clovis Torres Fernandes
Inconsistências nas Totalizações
Após totalizar os votos consignados
para o pleito 4 – Governador para
todas as 5166 urnas de Alagoas,
quantas
urnas
tiveram
totais
diferentes
dos
registrados
no
Totalizador?
R.: 1619 urnas = 31,3%
22.562 votos a menos
30
Clovis Torres Fernandes
Inconsistências nas Totalizações
Após totalizar os votos consignados
para o pleito 4 – Governador para
todas as 5166 urnas de Alagoas,
quantas
urnas
tiveram
totais
calculados via Logs maiores que os
totais registrados no Totalizador?
R.: 39 urnas
56 votos a mais nos RDVs
31
Clovis Torres Fernandes
32
Clovis Torres Fernandes
33
Clovis Torres Fernandes
Requisitos para um Sistema de
Votação Eletrônico (SEV) Confiável
Identificação e autenticação do eleitor junto ao
Cartório Eleitoral
Propriedade de Unicidade
Garantia de anonimato do voto do eleitor
Contraprova do voto
>>>
34
Clovis Torres Fernandes
Requisitos para um Sistema de
Votação Eletrônico Confiável
Segurança do voto eletrônico
Não coação por parte de terceiros
Impossibilidade de comércio de voto pelo eleitor
Materialização do voto
Auditabilidade de processo
>>>
35
Clovis Torres Fernandes
Requisitos para um Sistema de
Votação Eletrônico Confiável
Usabilidade
Confidencialidade
Integridade do voto e da apuração/totalização
Disponibilidade
Propriedade “no-cheating”
>>>
36
Clovis Torres Fernandes
Requisitos para um Sistema de
Votação Eletrônico Confiável
Certificação do software desenvolvido para uso
num SEV
Auditabilidade da SEV antes da utilização num
pleito
Auditabilidade da SEV após a sua utilização num
pleito
>>>
37
Clovis Torres Fernandes
Requisitos para um Sistema de
Votação Eletrônico Confiável
Certificação do software utilizado num SEV numa
dada eleição
Auditabilidade de voto
>>>
38
Clovis Torres Fernandes
FIM
39
Clovis Torres Fernandes