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.

Voting is regarded as one of the most effective methods for individuals to express their opinions on a given topic. Electronic voting (e‑Voting) refers to the use of computers or computerised voting equipments to cast ballots in an election. e‑Voting performed over Internet can be universally accepted in the upcoming years due to the fact that Internet plays a key role in people's lives. The DynaVote e‑Voting protocol claims that it is practical over a network since it does not use complex algorithms and has no physical assumptions such as untappable channels, whereas fulfilling core voting requirements such as privacy, accuracy, uncoercibility and individual verifiability. Software development requires a considerable amount of time and money. Therefore, in order to utilise all resources, the prototype implementation gains more importance as it gives quick feedback about the practicality of the system. This paper presents a prototype implementation of DynaVote e‑Voting protocol over the Internet. Since DynaVote relies on Pseudo‑Voter Identity (PVID) scheme, which is an unlinkable pseudo identity mechanism, the prototype includes implementation of a PVID scheme component as well. The main outcome of this study is to prove that DynaVote protocol over Internet is practical and applicable in real life and to illustrate that PVID scheme provides unlinkability. This study also contributes some improvements in DynaVote e‑ voting protocol. Furthermore, this paper analyses how the prototype fulfils some electronic voting system requirements such as efficiency, transparency and mobility.