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: Feierherd, Guillermo Eugenio, Pesado, Patricia Mabel, Pasini, Ariel
Tipo de recurso: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:2005
País:Argentina
Institución:Comisión de Investigaciones Científicas de la Provincia de Buenos Aires
Repositorio:CIC Digital (CICBA)
Idioma:inglés
OAI Identifier:oai:digital.cic.gba.gob.ar:11746/3677
Acceso en línea:https://digital.cic.gba.gob.ar/handle/11746/3677
Access Level:acceso abierto
Palabra clave:Ciencias de la Computación e Información
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.