Segurança do Sistema Eletrônico de Votação. Rafael Azevedo Coordenador de Logística - STI/TSE

Transcrição

1 Aspectos Técnicos da Segurança do Sistema Eletrônico de Votação Rafael Azevedo Coordenador de Logística - STI/TSE

2 Objetivos Oferecer o entendimento básico do Processo Eletrônico de Votação; Prover melhor acesso às informações para: Auxiliar na preparação e planejamento do Plano de Testes; Escolha de ferramentas;

3 Agenda Visão Geral dos Sistemas O Hardware da Urna Eletrônica Mídias, Preparação e Votação Software, Sistema Operacional e Arquitetura Cadeia de Confiança em Hardware Perguntas.

4 Visão Geral do Processo Eletrônico de Votação Cadastro Eleitoral Filiação Partidária BU Internet Biometria Emissão de Certidões Cadastro de Eleitores ELO Estatística Eleitorado e Faltosos Configurador de Eleições GEDAI-UE FC FV WebArquivos Urna Transportador de Arquivos Estatística de Resultados DIVULGA Prestação de Contas Agregações e MRJ PREPARA Rec Arquivos JUFA CAND (Candidaturas) Estatística Prestação de Contas SAVP Contexto Gerenciamento Estatísticas de Urna Divulgação Candidatos Estatística Candidaturas

5 HARDWARE

6 A Urna Eletrônica Terminal do Eleitor - TE Terminal do Mesário - TM

7 UE2009

8 UE Memória de Resultado 2. Impressora 3. Cabo AC 4. Bateria Externa (IN) 5. LedsAC, etc. 6. Chave Liga/Desliga 7. Controle Luminosidade 8. Bateria Interna 9. CompactFlash Externa 10. USB1 11. Audio 12. USB2 13.Cabo AC 14.Saída DC 15. Patrimônio RFID

9 UE2009 -Especificações Placa mãe CPU Fonte LCD Bateria CompactFlashs Impressora Proprietária; Intel Atom TM Z510P 1.10Ghz Inteligente (proprietária) Policromático 10.1 Wide; 7,0Ah; Apacer 512Mb; Térmica (proprietária).

10 Arquitetura de Hardware USB1 USB2 Audio Placa-mãe CPU BIOS Dispositivo de Segurança Microcontrolado CF Interna CF Externa Super I/O LCD Teclado (Cifrado e Resinado) Impressora USB Ext. SmartCard Leitor biométrico Display Caracteres Saída 12VDC Bateria Externa Chave Lig./Desl. Fonte Circuitos de Carga e Auxiliares Microcontrolador MR Microcontrolador Display TFT Teclado LEDs Buzzer

11 Placa-mãe BIOS VÍDEO FI INTEL ATOM FE ARM7 USB1 Áudio USB2

12 MÍDIAS, PREPARAÇÃO E VOTAÇÃO

13 Flash Cards(Compactflashs) FI Flash Interna (Equivalente a C:); Setor de Boot*; Sistema Operacional; Aplicativos; Dados. Prioridade de Boot é pela FC e depois pela FI FE Flash Externa (Equivalente a D:); FV Flash de Votação; Dados Espelhados; Fotos*. FC Flash de Carga Setor de Boot*; Sistema Operacional; Software de Carga; Pacotes de Instalação; Dados de várias seções.

14 Como uma urna é preparada? Boot pela FC Boot pela FI Etapa final Recria partições na FI Presença da FV Lacre físico Copia SO e Aplicativos para FI Copia dados da seção específica para FI Cria a correspondência (FC e FI) Executa o Autoteste Prepara arquivos espelhados Ata de Carga com Comprovante de Carga Urna pronta para a eleição Emissão do Comprovante de Carga Associa a FV com a seção Auditoria amostral 3%

15 No dia da votação Início da Votação Votação Encerramento Zerésimaa partir das 7h Aguarda 8h Votação do 1º eleitor Votação do 2º eleitor Aguarda 17h* Insere código de encerramento Emissão das 5 vias Obrigatórias Urna abre para o primeiro eleitor... Gravação da MR Emissão das Adicionais (até 15 vias)

16 SOFTWARE

17 Sistema Operacional UENUX Distribuição montada pelo TSE exclusivamente para as urnas Kernel Linux Suporte a UEMINIX para partição cifrada; ELFLoader específico; Bibliotecas GNU GNU libc2.9 Biblioteca C GNU libm Biblioteca de funções matematicas. GNU libstdc Biblioteca C++ GNU libpthreads2.9 LibSDL Biblioteca gráfica SDL_image SDL_ttf SDL sobre framebuffer com acesso direto Zlib Compactação LibJPEG-6b Formato JPEG Salsa Áudio Freetype Texto

18 Partições As FlashsInterna e de Carga são divididas em 4 partições A Flash de Votação tem somente a partição UEMINIX cifrada.

19 Partições FI e FC MODO TIPO Tamanho Read Only CONFIG LOADER ASSINATURA KERNEL ASSINATURA PARTIÇÃO FAT 1 cluster Read Only Kernel Cifrado MINIX 1Mb Read Only AUTO GAP VOTA VPP TESTE RED SA ADH SCUE UEMINIX cifrada 18Mb Read/Write RDV Eleitores Partidos Log Arq. de controle Fotos Candida tos Etc. UEMINIX cifrada Restante Espaço Livre

20 Arquitetura de Software APPs GAP VOTA SCUE etc. API UE Libs Cripto Lib JPEG FreeType SDL ZIP e etc. API SO Libs INIT.JE SW Básico Kernel Device Drivers HW i386 Intel Atom HW Seg Arm7 Chaves Boot

21 CADEIA DE CONFIANÇA EM HARDWARE

22 Boot Seguro Loadere SO AC UE Loadere SO Autenticação do SO e Loader com criptografia embarcada; 3 perfis de assinatura: Oficial; Simulado; Desenvolvimento.

23 Cadeia de Confiança Verifica Assinatura Verifica Assinatura Verifica Assinatura Verifica Assinatura Verifica Assinatura MSD BIOS LOADER S.O. GAP VOTA Verifica quem chamou Verifica quem chamou Verifica quem chamou Verifica quem chamou Verifica quem chamou Loadere SO

24 HABILITAÇÃO DO ELEITOR E RDV

25 Habilitação do Eleitor e RDV Exemplo: 5 eleitores aptos 3 compareceram Eleitor Eleitor 1 Eleitor 2 Eleitor 3 Eleitor 4 Eleitor 5 Votou? Vereador Tipo Prefeito Tipo

26 Habilitação do Eleitor e RDV Eleitor Eleitor 1 Eleitor 2 Eleitor 3 Eleitor 4 Eleitor 5 Votou? Vereador Tipo Prefeito Tipo <Branco> Branco 92 Nominal Nominal 91 Nominal 92 Legenda 99 Nulo

27 Habilitação do Eleitor e RDV NÃO EXISTE INFORMAÇÃO ALGUMA SOBRE O ELEITOR E SEU RESPECTIVO VOTO Eleitor Votou? Vereador Tipo Prefeito Tipo Eleitor 1 Eleitor 2 Eleitor 3 Eleitor 4 Eleitor 5? <Branco> Branco Nominal 92 Legenda 92 Nominal 91 Nominal 99 Nulo

28 Arquivos de Saída Boletim de Urna Registro Digital do Voto -RDV Faltosos Justificativa Log Imagem do BU

29 DÚVIDAS?