A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin Board

Bräunlich, Katharina; Grimm, Rüdiger

doi:10.1007/978-3-642-39185-9_6

Cited by 4 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Varios estudios han definido informalmente una lista de requerimientos para los SVE, [24] propone 8 requisitos fundamentales a considerar: privacy, eligibility, uniqueness, fairness, uncoercibility, receipt-freeness, accuracy e individual verifiability. Pese a esto, existen ligeras diferencias al definir los requisitos entre distintos estudios, y varias de estas definiciones son incompatibles con otros modelos de votación electrónica [25]. Las propuestas de [6], [26] contienen los requisitos que más aceptación concitan en la literatura.…”

Section: B Hallazgos Y Recomendacionesunclassified

Identification of Non-Functional Requirements for Electronic Voting Systems: A Systematic Mapping

Sepúlveda

Bustamante

Cravero

2015

IEEE Latin Am. Trans.

View full text Add to dashboard Cite

Background: Given the level of technological progress made today is that civic and government institutions seek to replicate the success of systems like the financial sector and banking in electronic voting systems. Objective: To make an analysis for the developed systems to conduct electronic voting from the Requirements Engineering perspective. Method: We use the methodology of systematic mapping study. Initially, we collect 240 publications and finally selecting 60 works. The Non Functional Requirements selected were Security, Performance efficiency, Reliability and Operability, which were chosen from several publications suggesting that this group was critical to the successful adoption of electronic voting systems. Results: The results show that 49% of the proposals considered Security feature the most relevant, which is consistent with the literature. The 23% of publications addressing Performance Efficiency, revealing that the main problem today is to build a model of electronic voting that is safe and can be widely implemented dedicating a reasonable amount of resources. Conclusions: A set of recommendations was generated. Given the complexity of evote systems, these must be addressed holistically.

show abstract