|
| |
|
Volume 5 Issue 2 Special Issue: ECEG 2007 Den Haag
Verification and Validation Issues in Electronic Voting
Orhan Cetinkaya 1, and Deniz Cetinkaya 2
1 Institute of Applied Mathematics, METU, Ankara, Turkey
2 Computer Engineering, METU, Ankara, Turkey
|
 |
| |
|
|
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 area.
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 correct and complete set of requirements. In this manner all e-voting studies mention e-voting requirements in somehow, and different sets of requirements are defined. Almost all researchers stated 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 started to discuss the verification in e-voting deeply. 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 to design and develop secure e-voting systems.
Keywords: e-voting, e-voting requirements, validation, validity, verifiability, verification.
Download FULL PAPER
Back to Contents |
|
