DocumentCode
2416459
Title
Requirements and Evaluation Procedures for eVoting
Author
Volkamer, Melanie ; McGaley, Margaret
Author_Institution
German Res. Center for Artificial Intelligence, Saarbrucken
fYear
2007
fDate
10-13 April 2007
Firstpage
895
Lastpage
902
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Availability, Reliability and Security, 2007. ARES 2007. The Second International Conference on
Conference_Location
Vienna
Print_ISBN
0-7695-2775-2
Type
conf
DOI
10.1109/ARES.2007.124
Filename
4159889
Link To Document