Captação de recursos

Vulnerabilidades no software da urna eletrˆnica brasileira o Diego F. Aranha1 , Marcelo Monte Karam2 , Andr´ de Miranda2 , Felipe Scarel2 e 1

Departamento de Ciˆncia da Computa¸˜o – Universidade de Bras´ (CIC/UnB) e ca ılia 2
Centro de Inform´tica – Universidade de Bras´ (CPD/UnB) a ılia

Vers˜o 1.0.2 a 31 de Mar¸o de 2013 c 1

Coordenador da equipe.

Resumo
Este relat´rio apresenta uma an´lise de seguran¸a do software da urna o a c eletrˆnica brasileira baseada na experiˆncia dos autores enquanto particio e pantes da 2a edi¸˜o dos Testes P´blicos de Seguran¸a do Sistema Eletrˆnico ca u c o de Vota¸˜o organizados pelo Tribunal Superior Eleitoral (TSE). Durante ca o evento, foram detectadas vulnerabilidades no software que permitiram a recupera¸˜o em ordem dos votos computados. Apresentamos cen´rios onde ca a as vulnerabilidades permitem a possibilidade de fraude eleitoral e sugest˜es o para se restaurar a seguran¸a dos mecanismos afetados. Tamb´m s˜o aponc e a tadas outras fragilidades no software e nas pr´ticas utilizadas para confec¸˜o a ca do mesmo. Em particular, este relat´rio versa sobre os principais problemas o de projeto e/ou implementa¸˜o de mecanismos de seguran¸a detectados no ca c software da urna eletrˆnica: o • Prote¸˜o inadequada do sigilo do voto: os votos s˜o armazenados ca a fora de ordem, mas ´ trivial recuper´-los em ordem a partir unicamente e a dos produtos p´blicos de uma elei¸˜o e conhecimento superficial do u ca c´digo-fonte, tamb´m de acesso p´blico aos partidos pol´ o e u ıticos;
• Cifra¸˜o inadequada: a mesma chave criptogr´fica ´ utilizada para ca a e cifrar as m´ ıdias de todas as urnas eletrˆnicas. Utilizando a analogia o cl´ssica de um cadeado como abstra¸˜o de t´cnica criptogr´fica, isto a ca e a
´ equivalente a proteger meio milh˜o de cadeados com uma mesma e a chave, visto ser este o n´mero aproximado de equipamentos em operau
¸˜o. Al´m disso,