• DocumentCode
    1726888
  • Title

    Towards an Open Standard Vote Verification Framework in Electronic Voting Systems

  • Author

    Al-Shammari, Ali Fawzi Najm ; Villafiorita, Adolfo ; Weldemariam, Komminist

  • Author_Institution
    Fac. of Comp. Sci., Free Univ. of Bolzano Bolzano, Bolzano, Italy
  • fYear
    2012
  • Firstpage
    437
  • Lastpage
    444
  • Abstract
    Vote verification allows voters or other election participating entities to verify that votes are correctly captured, stored and counted. To facilitate the vote verification process, a number of verification techniques (either physical or digital) have been developed to provide an evidence to voters and other participating entities for the assurance of the integrity of election result. However, we observed that these techniques have a number of limitations among which, the fact that the existing techniques do not fully comply with verification requirements (e.g., public verifiability). They implement limited prevention mechanisms from known attacks and they are not based on interoperable components and processes (typically, vendor lock-in). In order to address these issues, we propose a new method for vote verification based on open standards which allows interested parties or organizations to participate in vote verification process so as to enhance transparency and capture vote threats and challenges during and after elections.
  • Keywords
    formal verification; government data processing; security of data; election result integrity assurance; electronic voting systems; formal analysis; limited prevention mechanisms; open standard vote verification framework; transparency enhancement; vote threat capture; vote verification process; Casting; Context; Cryptography; Electronic voting; Nominations and elections; Protocols; Standards; e-voting; evaluation and certification; formal analysis; process models; requirements; security; vote verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Availability, Reliability and Security (ARES), 2012 Seventh International Conference on
  • Conference_Location
    Prague
  • Print_ISBN
    978-1-4673-2244-7
  • Type

    conf

  • DOI
    10.1109/ARES.2012.42
  • Filename
    6329215