Dissertação

{en_GB=E-Voting on Fenix} {} EVALUATED

{pt=Esta tese considera o problema de implementar um sistema de votação eletrónica para ser utilizado no Instituto Superior Técnico, integrando este com o sistema informática já presente, Fenix. Como tal, este trabalho assume que resistência à coerção não é de preocupação principal. É requisito do sistema que este também se integre com o protocolo de votação em papel já existente de forma a que utilizadores com menos experiência ou que não confiem no sistema eletrónico também tenham a possibilidade de exercer o direito de voto. Esta tese apresenta um protocolo de votação eletrónica híbrido baseado num protocolo já existente, Belenios, integrando este com o sistema de autenticação do Fenix e com o sistema de votação em papel também já presente. De seguida são apresentados alguns detalhes da implementação do protocolo e uma análise teórica e prática que foram efetuados de forma a provar a correta execução e segurança do protocolo. No fim, uma conclusão sobre a possibilidade da utilização de tal protocolo é apresentado seguido de algum trabalho futuro que pode ser realizado de forma a melhorar o protocolo., en=This thesis considers the problem of implementing an e-voting system on Instituto Superior Técnico, integrating this to the already existing university information system Fenix. As such, the work presented works under the assumption that coercion resistance is not of primary concern. It is required that the system be able to integrate the already present paper voting protocol in order to provide to those who have less experience or less trust in the e-voting system a means in which they may exercise their right to vote. This thesis presents a hybrid e-voting protocol based on the already existing Belenios protocol, which is then integrated with the Fenix authentication system and with the already existing paper voting protocol. It then present some details on the implementation of said system and a theoretical and pratical analysis which were performed in order to provide proof of correctness and security of the protocol. In the end, a conclusion is presented regarding the possibility of using such a protocol and some future work which will improve the protocol is presented.}
{pt=votação electrónica, híbrido, Belenios, protocolo, en=e-voting, hybrid, Belenios, protocol}

Novembro 3, 2017, 13:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

Ana Gualdina Almeida Matos

Departamento de Engenharia Informática (DEI)

Professor Auxiliar

ORIENTADOR

Jan Gunnar Cederquist

Departamento de Engenharia Informática (DEI)

Professor Auxiliar