Title :
Requirements and Evaluation Procedures for eVoting
Author :
Volkamer, Melanie ; McGaley, Margaret
Author_Institution :
German Res. Center for Artificial Intelligence, Saarbrucken
Abstract :
Only the most trivial computer system can be expected to meet its requirements if those requirements are not specified. Despite the widespread use of electronic voting (evoting), no requirements catalogue exists that expresses the requirements for evoting systems with enough precision to be checkable. Nor do existing catalogues take evaluation techniques and certification procedures into account. This paper takes the first step towards the development of a new catalogue with corresponding assessment procedures, concentrating on a strict subset of evoting systems
Keywords :
formal specification; formal verification; government data processing; program testing; software performance evaluation; systems analysis; certification; electronic voting; evoting systems; system evaluation; Artificial intelligence; Certification; Computer science; Concrete; Design engineering; Electronic voting; Nominations and elections; Procurement; Security; System testing;
Conference_Titel :
Availability, Reliability and Security, 2007. ARES 2007. The Second International Conference on
Conference_Location :
Vienna
Print_ISBN :
0-7695-2775-2
DOI :
10.1109/ARES.2007.124