Banca de QUALIFICAÇÃO: MATHEUS OLIVEIRA LEITE DE SA

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE: MATHEUS OLIVEIRA LEITE DE SA
DATA: 24/03/2020
HORA: 09:30
LOCAL: Registro Seguro para Protocolos de Votação via Internet Resistentes à Coerção
TÍTULO:
PALAVRAS-CHAVES:

1. Votação via Internet; 2. Resistência à coerção; 3. Usabilidade.

PÁGINAS: 28
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Sistemas de Computação
ESPECIALIDADE: Teleinformática
RESUMO:

Votações são um procedimento de grande relevância para a nossa sociedade, e manter a sua segurança é uma crescente preocupação. Uma abordagem para sua realização é pela Internet, que proporciona benefícios como uma maior comodidade ao votante, mas também possui problemas de segurança inerentes, como a coerção de votantes e a venda de votos. Existem protocolos de votação resistentes à coerção, com esquemas para o registro de votantes que utilizam credenciais como mecanismo para mitigar ataques coercivos. Cada votante recebe uma credencial, necessária para emitir votos legítimos, e pode gerar credenciais falsas ao ser coagido, emitindo votos que não serão contabilizados durante a apuração. Entretanto, o manuseio das credenciais não é uma tarefa trivial, o que dificulta a utilização desses protocolos em cenários práticos. Essa pesquisa se propõe a estabelecer um esquema para registro mais amigável, buscando viabilizar a utilização prática e segura desses protocolos de votação. Para tal, é proposto um novo modelo para utilização de credenciais, utilizadas como senhas formadas por combinações de palavras e cores, definidas em um dicionário. Para validar esse esquema de registro, são propostos testes para avaliar sua usabilidade, e comparações entre outros protocolos de votação para avaliar sua segurança.

MEMBROS DA BANCA:
Interno - 2151241 - MARCELLE PEREIRA MOTA
Interno - 2659210 - NELSON CRUZ SAMPAIO NETO