• 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