Análise de cerimônias no sistema de votação Helios

Taciane MartimianoJean Everson MartinaM. Maina Olembo

Helios is an online voting system, which allows its voters to verify whether their votes were correctly computed by the booth and stored for final tally. Usability improvements were proposed by Neumann, they are the use of a) several independent verifying institutes and b) smartphone app developed individually by these institutes, for verifying processes and correct storage of the submitted votes on the bulletin board. In this work, these improvements are analyzed as security ceremonies, based on the adaptive threat model proposed by Carlos et al.Key words: Ceremony analysis, threat models, usability, Helios

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: