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 :
بازگشت