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
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;
Conference_Titel :
Availability, Reliability and Security (ARES), 2012 Seventh International Conference on
Conference_Location :
Prague
Print_ISBN :
978-1-4673-2244-7
DOI :
10.1109/ARES.2012.42