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...

Descripción completa

Detalles Bibliográficos
Autores: Pesado, Patricia Mabel, Feierherd, Guillermo Eugenio, Pasini, Ariel C.
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2005
País:Argentina
Institución:Universidad Nacional de La Plata
Repositorio:SEDICI (UNLP)
Idioma:inglés
OAI Identifier:oai:sedici.unlp.edu.ar:10915/9610
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/9610
Access Level:acceso abierto
Palabra clave:Ciencias Informáticas
Requirements/Specifications
State diagrams
Descripción
Sumario: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.