Requirements for Electronic Voting Machines

Abstract

The previous chapter describes the requirement development process – including quality assurance measurements – and presents the applied syntax and semantics. The results of this development process are two large, standardised, consistent, and exhaustive lists of requirements. This chapter defines the requirements for stand-alone direct recording electronic voting machines. Before providing the list of requirements the chapter-specific notation is explained; meaning those notations used for this chapter but not in the requirements definition for remote electronic voting systems. In addition, the exact target of evaluation under consideration for the requirement specification is defined. Then, the two main subgroups of system requirements - security and functional requirements - are presented separately. Both parts distinguish between requirements for the polling phase and those requirements for the tallying phase. In addition, the list of functional requirements contains detailed requirements for the audit system. The last part specifies the assurance, usability, and operational requirements.