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