Requirement specifications for electronic voting systems

This paper presents an analysis of the requirements specification in electronic voting systems. In particular, it poses a specification that assumes a physical distributed architecture model with two networked intelligent units (Voting Terminal and Authorities Terminal). State Transition Diagrams an...

ver descrição completa

Detalhes bibliográficos
Autores: Pesado, Patricia Mabel, Feierherd, Guillermo Eugenio, Pasini, Ariel C.
Tipo de documento: artigo
Estado:Versão publicada
Data de publicação:2005
País:Argentina
Recursos:Universidad Nacional de La Plata
Repositório:SEDICI (UNLP)
Idioma:inglês
OAI Identifier:oai:sedici.unlp.edu.ar:10915/9610
Acesso em linha:http://sedici.unlp.edu.ar/handle/10915/9610
Access Level:Acceso aberto
Palavra-chave:Ciencias Informáticas
Requirements/Specifications
State diagrams
Descrição
Resumo:This paper presents an analysis of the requirements specification in electronic voting systems. In particular, it poses a specification that assumes a physical distributed architecture model with two networked intelligent units (Voting Terminal and Authorities Terminal). State Transition Diagrams and Use Cases are used in the modeling of the requirements. Finally, the model adaptation to two classes of different elections is analyzed: a national election of closed daily cycle and a university election with a cycle of several days, both with multiple objectives.