1 Clovis Torres Fernandes 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

2 Clovis Torres Fernandes 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 Sistema de Votação Eletrônico Confiável

3 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

4 Clovis Torres Fernandes Log – Diário de Bordo Flight Data Recorder

5 Clovis Torres Fernandes Log – Diário de Bordo

6 Clovis Torres Fernandes Registro Digital de Votos – RDV

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 Boletim de Urna Digital BU Digital

13 Clovis Torres Fernandes Relacionamento entre Elementos RDV Log BU Totalizador

14 Clovis Torres Fernandes Perda de Integridade do Log

15 Clovis Torres Fernandes Perda de Integridade do Log

16 Clovis Torres Fernandes Perda de Integridade do Log Log Vazio

17 Clovis Torres Fernandes Perda de Integridade do Log Log Muito Corrompido ZE 35 SE 35 Sen TV

18 Clovis Torres Fernandes Perda de Integridade do Log

19 Clovis Torres Fernandes Log Totalmente Corrompido ZE 15 SE 176 Rio Largo

20 Clovis Torres Fernandes Log Totalmente Corrompido ZE 05 SE 36 Viçosa

21 Clovis Torres Fernandes

22 Clovis Torres Fernandes Conseqüências da Perda de Integridade RDV Log BU Totalizador

23 Clovis Torres Fernandes Conseqüências da Perda de Integridade Qual o percentual das 5166 urnas com perda de integridade? 44,19% = urnas

24 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?

25 Clovis Torres Fernandes Conseqüências da Perda de Integridade Perda de característica de auditoria do log

26 Clovis Torres Fernandes Conseqüências da Perda de Integridade Indicação de comportamento irregular dos programas da urna

27 Clovis Torres Fernandes Conseqüências da Perda de Integridade Não é possível afirmar que não tenha havido perda de integridade do RDV

28 Clovis Torres Fernandes Inconsistências nas Totalizações RDV Log BU Totalizador

29 Clovis Torres Fernandes Totalização através do Log

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 diferentes dos registrados no Totalizador? R.: 1619 urnas = 31,3% votos a menos

31 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

32 Clovis Torres Fernandes

33 Clovis Torres Fernandes

34 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 >>>

35 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 >>>

36 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” >>>

37 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 >>>

38 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 >>>

39 Clovis Torres Fernandes FIM