Queiroz, Ruy José Guerra Barretto deVarejão Junior, Gleudson PinheiroTribunal Superior Eleitoral2020-07-032020-07-032014VAREJÃO JUNIOR, Gleudson Pinheiro. Proposta de um modelo para verificabilidade E2E no sistema eletrônico de votação brasileiro utilizando mecanismos de criptografia visual. 2014. 129 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Pernambuco, Recife, 2014.http://bibliotecadigital.tse.jus.br/handle/bdtse/6937Estuda e avalia os princípios de um Sistema Eletrônico de Votação (SEV), bem como suas principais tecnologias e desafios de segurança. A partir do estudo realizado, é descrita a proposta de um modelo utilizando criptografia visual, a fim de prover possíveis mecanismos que atendam o requisito de verificabilidade E2E com a materialização do voto de um modo não tradicional, tendo como foco o emprego desse esquema no Sistema Eletrônico de Votação brasileiro.129 f.pt-BRCreative Commons Atribuição-NãoComercial-CompartilhaIgual 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-sa/4.0/Voto eletrônicoSegurança do voto na urna eletrônicaUrna eletrônicaCriptografiaSegurança da informaçãoDissertação