# Princípio da independência do software em sistemas eleitorais

O princípio da independência do software em sistemas eleitorais foi cunhado em 2006, pelo Ph.D. do MIT Ronald Rivest e pelo pesquisador do NIST Jonh Wack, para enfrentar a dificuldade de se validar e certificar o software usado em máquinas de votar.
Em nov de 2017, Ronald Rivest publicou uma atualização do seu artigo, denominado Software Independence Revisited, reforçando o conceito e detalhando melhor sua aplicação aos sistemas eleitorais criptográficos End-2-End recentemente desenvolvidos.
Um resumo em português sobre esse princípio pode ser lido na seção 3.3 (pág. 44) do 1º Relatório do Comitê Multidisciplinar Independente.

## A definição original

A definição técnica original, dada pelos autores, para a Independência do Software em Sistemas Eleitorais é a seguinte:
Trata-se, assim, de um conceito criado mais para permitir a detecção de erros ou fraudes na apuração eletrônica de votos do que para impedi-los e exige que o voto do eleitor fique registrado em algum meio material que seja independente do software utilizado, comumente chamado de "Independent Voter-Verifiable Record (IVVR)" ou por "Voter Verifiable Paper Audit Trail (VVPAT)".

## A definição completa

A definição formal acima foi criada por dois tecnólogos norte-americanos que, baseados na experiência pessoal com equipamentos eleitorais que conheciam, não consideraram a possibilidade de um eventual erro ou fraude no software que pudesse permitir a violação sistemática do voto.
No entanto, diferente dos equipamentos eleitorais do resto do mundo, nas urnas eletrônicas brasileiras em uso desde 1996, a identificação do eleitor, por digitação do seu número de eleitor, é feita no próprio equipamento que colhe o seu voto, de forma que um eventual erro ou fraude não detectada no software desse equipamento pode resultar em violação sistemática do segredo do voto, por exemplo, pela criação de um arquivo escondido onde sejam gravadas a sequência de teclas digitadas, do tipo "keylogger".
Dessa forma, a definição completa do Princípio da Independência do Software em Sistemas Eleitorais pode ser completada para o seguinte:

## A 2ª geração de máquinas de votar

Um sistema eleitoral que seja independente do software torna possível que uma auditoria da apuração eletrônica dos votos seja feita pela recontagem do IVVR, sem que seja necessário confiar na integridade do software do próprio equipamento.
Essa característica tem sido chamada de chamada de "2ª geração da Máquinas de Votar"., ou seja, aqueles equipamentos eleitorais que possibilitam uma auditoria do resultado a ser desenvolvida por meio que independe da confiabilidade do software

## A adoção pela diretrizes VVSG

O Princípio da Independência do Software em Sistemas Eleitorais foi adotado em 2007 pela "Voluntary Voting System Guidelines", que é uma proposta de norma técnica para sistemas eleitorais informatizados desenvolvida pelas agências federais norte-americanas National Institute of Standards and Technology (NIST) e Election Assistance Commission (EAC).
A versão 1.1/2009 das "Diretrizes VVSG", na seção 7.8 e no Apêncice C do volume 1, detalha melhor a Independência do Software com o nome de Independent Verification Systems e com os seguintes requisitos (traduzidos para o português):
* Ao menos dois registros do voto devem ser produzidos e um deles deve ser guardado em meio que não possa ser modificado pelo sistema (eletrônico) de votação, de forma que ambos registros não estejam sob controle de um único processo digital
* o eleitor deve estar capacitado para verificar a igualdade dos dois registros do seu voto antes de deixar o local de votação
* o processo de verificação dos registros do voto devem ser independentes e ao menos um deles deve ser conferível diretamente pelo eleitor
* os dois registros de um voto poderão ter sua consistência verificada posteriormente por meio de identificadores únicos que permitam a correlação dos registros.
    Citação:
* At least two cast vote records of the voter’s selections are produced and one of the records is then stored in a manner that it cannot be modified by the voting system.
* The voter must be able to verify that both cast vote records are correct and match before leaving the polling place.
* The verification processes for the two cast vote records must be independent of each other, and at least one of the records must be verified directly by the voter.
* The contents of the two cast vote records also can be checked later for consistency through the use of unique identifiers that allow the records to be linked.

## Exemplos

A versão de 2007 das Diretrizes VVSG, na seção Introduction 2.4.1, apresenta como exemplos de sistemas eleitorais independentes do software: o "Sistema com Voto Escaneado" e as "Máquinas DRE com Voto Impresso Conferível pelo Eleitor".
A versão de maio de 2009 das Diretrizes VVSG, na Seção 7.8 e no Apencide C do Volume 1, também cita como exemplo um segundo registro do voto gravado em meio não-regravável (como um CD-ROM) que possa ser conferido pelo eleitor em equipamento independente do de votação e antes de deixar o recinto de votação, mas até 2011 ainda não se tem conhecimento de algum equipamento de votação que use esse sistema.
Também é exemplo o conceito de Boleta de Voto Electrónico - ou Cédula Eletrônica de Voto - introduzido pela máquina de votação Vot-AR, de fabricação argentina, que contém num único documento um Registro Digital do Voto e seu correspondente Registro Impresso do Voto.

## Referências anteriores

Mesmo antes de ser formalmente enunciado em 2006, um conceito semelhante ao Princípio da Independência do Software em Sistemas Eleitorais já vinha sendo citado ou usado como nos seguintes casos:
* No Brasil, desde seu início em 1998, o Fórum do Voto Eletrônico pugnava pela adoção do voto impresso conferível pelo eleitor (VVPAT) nas urnas eletrônicas brasileiras.
* Em 2000, a Ph.D. Rebecca Mercury, apresentou sua tese de doutorado centrada na importância do VVPAT para a auditabilidade do resultado em sistemas eleitorais.
* Em 2004, a Venezuela se tornou o primeiro país a implantar integralmente um sistema eleitoral de 2ª geração (máquinas DRE com voto impresso) em eleições oficiais.