TRABALHO FINAL DE CURSO - INESC-ID

More documents

Recommendations

Info

MobileREVS 15-10-2006 • Correcção: (1) não é possível alterar um voto válido, (2) não é possível que um voto válido seja eliminado da contagem, e (3) não é possível que um voto inválido seja considerado no resultado final; • Democracia: (1) permite apenas que eleitores elegíveis votem, (2) garante que os eleitores elegíveis votam apenas uma vez, e (3) garante a igualdade de conhecimento, ou seja, sem resultados parciais; • Privacidade: (1) nenhuma autoridade de voto nem ninguém consegue estabelecer uma ligação entre um boletim de voto e o eleitor que o emitiu, e (2) nenhum eleitor consegue provar que votou de uma determinada maneira. A segunda parte desta propriedade existe para assegurar que ninguém consegue coagir ou subornar um eleitor. Os sistemas com esta parte da propriedade "Privacidade" são normalmente designados por sistemas de votação Receipt-free; • Verificabilidade: qualquer pessoa pode, independentemente, verificar que todos os votos foram contados correctamente. Correcção, democracia e verificabilidade são, na maior parte dos casos dos sistemas eleitorais actuais, assegurados pela presença de representantes de diferentes partidos. A privacidade é actualmente assegurada pela existência de cabines privadas de voto controladas pelos comités eleitorais, permitindo aos eleitores votar secretamente e sem coacção. As quatro propriedades apresentadas são propriedades essenciais que os sistemas de votação devem possuir, mas não lidam com os requisitos operacionais que se seguem: • Disponibilidade: (1) o sistema funciona correctamente durante o período de votação e (2) qualquer eleitor pode ter acesso ao sistema desde o início até ao fim desse período; • Capacidade de continuação diferida: o sistema permite que qualquer eleitor que interrompeu o seu processo de votação o possa continuar ou reiniciar durante o período de votação; • Resistência ao conluio: a resistência ao conluio mede a capacidade de um sistema resistir imperturbado quando qualquer entidade ou grupo de entidades eleitorais se comporta incorrectamente. Se todas as entidades de supervisão conspirarem esta propriedade não é garantida. Por isso, esta característica deve ser medida em termos do número total de entidades que devem conspirar para garantir uma interferência bem sucedida na eleição. Diz-se que um sistema é robusto se possuir os três últimos requisitos descritos. 1.2. Organização do documento No Capítulo 2 são descritos os conceitos fundamentais ligados ao sistema MobileREVS, tais como as técnicas criptográficas mais utilizadas em SVE, as tecnologias associadas e alguns aspectos de segurança. O Capítulo 3 apresenta um conjunto de trabalhos relacionados com o MobileREVS, com especial foco na arquitectura e protocolo do REVS, o SVE de base para o desenvolvimento deste projecto. A arquitectura do MobileREVS é introduzida no Capítulo 4. São apresentados os requisitos do sistema e alguns dos problemas que o mesmo deve considerar. Segue-se Luis Costa, Nuno Santos 10
MobileREVS 15-10-2006 uma descrição da arquitectura geral do sistema e do seu protocolo, complementada com uma visão mais detalhada da arquitectura do Módulo Eleitor. No Capítulo 5 são descritos os pormenores de implementação do sistema, nomeadamente do Módulo Eleitor, dos servidores e do “REVS Ballot Editor”, um editor gráfico de boletins de voto para o REVS e MobileREVS. A avaliação do sistema foi agendada para o Capítulo 6. Nele são analisados os aspectos qualitativos relativos ao cumprimento das propriedades pretendidas para este sistema, seguidos da apresentação de algumas métricas de desempenho do mesmo. As conclusões finais são explicitadas no Capítulo 7, reforçando-se as vantagens e desvantagens da utilização deste sistema. A terminar são apresentadas algumas sugestões futuras para o contínuo melhoramento do MobileREVS, que não foram contempladas no âmbito deste projecto. Luis Costa, Nuno Santos 11
Page 1 and 2: TRABALHO FINAL DE CURSO do Curso de
Page 3 and 4: MobileREVS 15-10-2006 Agradecimento
Page 5 and 6: MobileREVS 15-10-2006 5.1.2. Comuni
Page 7 and 8: MobileREVS 15-10-2006 Índice de ta
Page 9: MobileREVS 15-10-2006 permitirá qu
Page 13 and 14: MobileREVS 15-10-2006 dadas pela AC
Page 15 and 16: MobileREVS 15-10-2006 primeira vez
Page 17 and 18: MobileREVS 15-10-2006 As funções
Page 19 and 20: MobileREVS 15-10-2006 Virtual Machi
Page 21 and 22: MobileREVS 15-10-2006 Módulos arqu
Page 23 and 24: MobileREVS 15-10-2006 Figura 6 - Ar
Page 25 and 26: MobileREVS 15-10-2006 opções, cad
Page 27 and 28: MobileREVS 15-10-2006 Funcionalidad
Page 29 and 30: MobileREVS 15-10-2006 Os dois últi
Page 31 and 32: MobileREVS 15-10-2006 Figura 7 - Ar
Page 33 and 34: MobileREVS 15-10-2006 • Submissã
Page 35 and 36: MobileREVS 15-10-2006 • Muitos do
Page 37 and 38: MobileREVS 15-10-2006 4.2. Problema
Page 39 and 40: MobileREVS 15-10-2006 Figura 10 - E
Page 41 and 42: MobileREVS 15-10-2006 módulo apres
Page 43 and 44: MobileREVS 15-10-2006 efectuar a co
Page 45 and 46: MobileREVS 15-10-2006 Figura 15 - F
Page 47 and 48: MobileREVS 15-10-2006 parser existe
Page 49 and 50: MobileREVS 15-10-2006 telemóvel. A
Page 51 and 52: MobileREVS 15-10-2006 Figura 16 - C
Page 53 and 54: MobileREVS 15-10-2006 5.3.2. Pré-v
Page 55 and 56: MobileREVS 15-10-2006 seja, é poss
Page 57 and 58: MobileREVS 15-10-2006 máximo (3) d
Page 59 and 60: MobileREVS 15-10-2006 O tráfego to
Page 61 and 62:
MobileREVS 15-10-2006 por três raz
Page 63 and 64:
MobileREVS 15-10-2006 [ISCSE] Integ
Page 65 and 66:
MobileREVS 15-10-2006 9. Glossário
Page 67 and 68:
MobileREVS 15-10-2006 ROM RPC RSA R
Page 69 and 70:
MobileREVS 15-10-2006 Anexo A. Aval
Page 71 and 72:
MobileREVS 15-10-2006 determinar qu
Page 73 and 74:
MobileREVS 15-10-2006 Apesar de nã
Page 75 and 76:
MobileREVS 15-10-2006 Exemplo para
Page 77 and 78:
MobileREVS 15-10-2006 4.3. Instala
Page 79 and 80:
MobileREVS 15-10-2006 Figura 1 - Ec
Page 81 and 82:
MobileREVS 15-10-2006 O número da
Page 83 and 84:
MobileREVS 15-10-2006 Anexo D. REVS
Page 85 and 86:
MobileREVS 15-10-2006 Figura 3 - Ed
Page 87 and 88:
MobileREVS 15-10-2006 Figura 6 - Ec
Page 89:
MobileREVS 15-10-2006 Luis Costa, N
show all

TRABALHO FINAL DE CURSO - INESC-ID

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?