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