Verification and Validation Issues in Electronic Voting

Abstract

Electronic democracy (e‑democracy) is a necessity in this era of computers and information technology. Electronic election (e‑election) is one of the most important applications of e‑democracy, because of the importance of the voters' privacy and the possibility of frauds. Electronic voting (e‑voting) is the most significant part of e‑election, which refers to the use of computers or computerised voting equipment to cast ballots in an election. Due to the rapid growth of computer technologies and advances in cryptographic techniques, e‑voting is now an applicable alternative for many non‑governmental elections. However, security demands become higher when voting takes place in the political arena. Requirement analysis is an important part of the system design process and it is impossible to develop the right system in the right way without a correct and complete set of requirements. In this manner all e‑voting studies mention e‑voting requirements somewhere, and different sets of requirements are defined. Almost all researchers state verifiability as an e‑voting requirement by narrowing the definition of verification. Unfortunately the definitions for verifiability are inadequate and unclear and it is categorised as individual verifiability and universal verifiability, where they are generally misused in the literature. Nowadays the researchers have started to discuss deeply the verification in e‑voting. However there is no obvious consensus about the definitions. Moreover, validation has not been discussed properly yet. This paper focuses on the importance of the verification and validation (V&V) in e‑voting and gives proper definitions for verifiability and validity. Then it describes some V&V activities and explains the relationship between V&V and core requirements that any e‑voting system should satisfy. This paper also states some problems for designing and developing secure e‑voting systems.