Enquadramento

Num processo de votação electrónica via Internet é fundamental que o votante tenha garantias de correcção dos sistemas que usa. A correcção pode envolver duas facetas completamente distintas:

• tolerância a falhas de componentes do sistema (máquinas ou redes) e;
• tolerância a tentativas de subversão da votação por entidades reguladoras do sistema de votação (servidores eleitorais).

Uma solução para ambos os problemas passa por usar replicação e um sistema maioria simples para garantir simultaneamente uma maior disponibilidade do sistema e uma tolerância a tentativas de subversão em conluio. Neste trabalho pretendeu adaptar o sistema REVS, que usa replicação e comunicação unicast com as várias réplicas dos servidores envolvidos no protocolo de votação, de forma a usar IP multicast.