1 Clovis Torres Fernandes Análise da Segurança e Integridade da Urna Eletrônica Brasileira O Caso...

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


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


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


Log – Diário de BordoLog – Diário de Bordo

Flight Data Recorder


Log – Diário de BordoLog – Diário de Bordo


Registro Digital de Votos – RDVRegistro Digital de Votos – RDV


Boletim de Urna DigitalBoletim de Urna DigitalBU DigitalBU Digital


Relacionamento entre Relacionamento entre ElementosElementos

RDV

Log BU Totalizador


Perda de Integridade do LogPerda de Integridade do Log



Log Vazio



Log Muito CorrompidoZE 35 SE 35 Sen TV


Log Totalmente CorrompidoLog Totalmente CorrompidoZE 15 SE 176 Rio LargoZE 15 SE 176 Rio Largo


Log Totalmente CorrompidoLog Totalmente CorrompidoZE 05 SE 36 ViçosaZE 05 SE 36 Viçosa


Conseqüências da Perda de Conseqüências da Perda de IntegridadeIntegridade

RDV

Log BU Totalizador



Qual o percentual das 5166 urnas com perda de integridade?

44,19%

= 2.282 urnas



Qual o efeito da perda de integridade na confiança do funcionamento da urna eletrônica?



Perda de característica de auditoria do log



Indicação de comportamento irregular dos programas da urna



Não é possível afirmar que não tenha havido perda de integridade do RDV


Inconsistências nas Inconsistências nas TotalizaçõesTotalizações

RDV

Log BU Totalizador


Totalização através do LogTotalização através do Log


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


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


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

>>>>>>


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



Usabilidade

Confidencialidade

Integridade do voto e da apuração/totalização

Disponibilidade

Propriedade “no-cheating”>>>>>>



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

>>>>>>



Certificação do software utilizado num SEV numa dada eleição

Auditabilidade de voto

>>>>>>


FIMFIM

1 Clovis Torres Fernandes Análise da Segurança e Integridade da Urna Eletrônica Brasileira O Caso...

Documents

Transcript of 1 Clovis Torres Fernandes Análise da Segurança e Integridade da Urna Eletrônica Brasileira O Caso...