1 clovis torres fernandes análise da segurança e integridade da urna eletrônica brasileira o caso...
TRANSCRIPT
1Clovis Torres Fernandes
Análise da Segurança e Integridade da Urna Eletrônica
BrasileiraO Caso de Alagoas-2006
Clovis Torres FernandesMarcos Carvalho
ITAInstituto Tecnológico de Aeronáutica
2Clovis Torres Fernandes
RoteiroRoteiro
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 Sistema de Votação Eletrônico Confiável
3Clovis Torres Fernandes
Funcionamento Básico da UrnaFuncionamento Básico da Urna
• Registro de LOG de Ocorrências - Log
• Registro Digital de Votos – RDV
• Boletim de Urna Digital – BU Digital
4Clovis Torres Fernandes
Log – Diário de BordoLog – Diário de Bordo
Flight Data Recorder
5Clovis Torres Fernandes
Log – Diário de BordoLog – Diário de Bordo
6Clovis Torres Fernandes
Registro Digital de Votos – RDVRegistro Digital de Votos – RDV
7Clovis Torres Fernandes
Boletim de Urna DigitalBoletim de Urna DigitalBU DigitalBU Digital
8Clovis Torres Fernandes
Boletim de Urna DigitalBoletim de Urna DigitalBU DigitalBU Digital
9Clovis Torres Fernandes
Boletim de Urna DigitalBoletim de Urna DigitalBU DigitalBU Digital
10Clovis Torres Fernandes
Boletim de Urna DigitalBoletim de Urna DigitalBU DigitalBU Digital
11Clovis Torres Fernandes
Boletim de Urna DigitalBoletim de Urna DigitalBU DigitalBU Digital
12Clovis Torres Fernandes
Boletim de Urna DigitalBoletim de Urna DigitalBU DigitalBU Digital
13Clovis Torres Fernandes
Relacionamento entre Relacionamento entre ElementosElementos
RDV
Log BU Totalizador
14Clovis Torres Fernandes
Perda de Integridade do LogPerda de Integridade do Log
15Clovis Torres Fernandes
Perda de Integridade do LogPerda de Integridade do Log
16Clovis Torres Fernandes
Perda de Integridade do LogPerda de Integridade do Log
Log Vazio
17Clovis Torres Fernandes
Perda de Integridade do LogPerda de Integridade do Log
Log Muito CorrompidoZE 35 SE 35 Sen TV
18Clovis Torres Fernandes
Perda de Integridade do LogPerda de Integridade do Log
19Clovis Torres Fernandes
Log Totalmente CorrompidoLog Totalmente CorrompidoZE 15 SE 176 Rio LargoZE 15 SE 176 Rio Largo
20Clovis Torres Fernandes
Log Totalmente CorrompidoLog Totalmente CorrompidoZE 05 SE 36 ViçosaZE 05 SE 36 Viçosa
21Clovis Torres Fernandes
22Clovis Torres Fernandes
Conseqüências da Perda de Conseqüências da Perda de IntegridadeIntegridade
RDV
Log BU Totalizador
23Clovis Torres Fernandes
Conseqüências da Perda de Conseqüências da Perda de IntegridadeIntegridade
Qual o percentual das 5166 urnas com perda de integridade?
44,19%
= 2.282 urnas
24Clovis Torres Fernandes
Conseqüências da Perda de Conseqüências da Perda de IntegridadeIntegridade
Qual o efeito da perda de integridade na confiança do funcionamento da urna eletrônica?
25Clovis Torres Fernandes
Conseqüências da Perda de Conseqüências da Perda de IntegridadeIntegridade
Perda de característica de auditoria do log
26Clovis Torres Fernandes
Conseqüências da Perda de Conseqüências da Perda de IntegridadeIntegridade
Indicação de comportamento irregular dos programas da urna
27Clovis Torres Fernandes
Conseqüências da Perda de Conseqüências da Perda de IntegridadeIntegridade
Não é possível afirmar que não tenha havido perda de integridade do RDV
28Clovis Torres Fernandes
Inconsistências nas Inconsistências nas TotalizaçõesTotalizações
RDV
Log BU Totalizador
29Clovis Torres Fernandes
Totalização através do LogTotalização através do Log
30Clovis Torres Fernandes
Inconsistências nas TotalizaçõesInconsistê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
31Clovis Torres Fernandes
Inconsistências nas TotalizaçõesInconsistê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
32Clovis Torres Fernandes
33Clovis Torres Fernandes
34Clovis Torres Fernandes
Requisitos para um Sistema de Requisitos para um Sistema de Votação Eletrônico Votação Eletrônico (SEV)(SEV) Confiável 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
>>>>>>
35Clovis Torres Fernandes
Requisitos para um Sistema de Requisitos para um Sistema de Votação Eletrônico ConfiávelVotaçã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>>>>>>
36Clovis Torres Fernandes
Requisitos para um Sistema de Requisitos para um Sistema de Votação Eletrônico ConfiávelVotação Eletrônico Confiável
Usabilidade
Confidencialidade
Integridade do voto e da apuração/totalização
Disponibilidade
Propriedade “no-cheating”>>>>>>
37Clovis Torres Fernandes
Requisitos para um Sistema de Requisitos para um Sistema de Votação Eletrônico ConfiávelVotaçã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
>>>>>>
38Clovis Torres Fernandes
Requisitos para um Sistema de Requisitos para um Sistema de Votação Eletrônico ConfiávelVotação Eletrônico Confiável
Certificação do software utilizado num SEV numa dada eleição
Auditabilidade de voto
>>>>>>
39Clovis Torres Fernandes
FIMFIM