Skip to main content

Cast-as-intended-Verifizierbarkeit für das Polyas-Internetwahlsystem

Zusammenfassung

Internet-Wahlsysteme müssen einer Vielzahl von Anforderungen genügen.1 Besonders drei Eigenschaften–die Übereinstimmung von Stimmabgabe und Wählerintension, die korrekte (und vertrauliche) Speicherung der Stimmabgabe und die fehlerfreie Auszählung–sollte für ein Wahlsystem nachweisbar sein. Der vorliegende Beitrag stellt Ansätze zur Realisierung einer nachweisbaren Übereinstimmung von Stimmabgabe und Wählerintension (Cast-as-intended-Verifizierbarkeit) vor und zeigt, wie das verbreitete Polyas-Internetwahlsystem um diese Eigenschaft erweitert werden kann.

This is a preview of subscription content, access via your institution.

Literatur

  1. [1]

    Adida, B. Helios: Web-based Open-Audit Voting. In: USENIX Security Symposium 2008, Vol. 17, pp. 335–348.

    Google Scholar 

  2. [2]

    Clarkson, M.R.; Chong, S.; Myers, A.C. Civitas: Toward a Secure Voting System. In: IEEE Symposium on Security and Privacy 2008, IEEE 2008, pp. 354–368.

    Google Scholar 

  3. [3]

    Budurushi, J.; Neumann, S.; Olembo, M. M.; Volkamer, M. Pretty Understandable Democracy-A Secure and Understandable Internet Voting Scheme. In: Eighth International Conference on Availability, Reliability and Security (ARES) 2013. IEEE, pp. 198–207.

    Google Scholar 

  4. [4]

    Olembo, M. M.; Schmidt, P.; Volkamer, M. Introducing verifiability in the polyas remote electronic voting system. In: Sixth International Conference on Availability, Reliability and Security (ARES) 2011, IEEE 2011, pp. 127–134.

    Google Scholar 

  5. [5]

    Karayumak, F.; Olembo, M. M.; Kauer, M.; Volkamer, M. Usability analysis of helios–an open source verifiable remote electronic voting system. In: Proceedings of the 2011 USENIX Electronic Voting Technology Workshop/Workshop on Trustworthy Elections. USENIX 2011.

    Google Scholar 

  6. [6]

    Neumann, S.; Volkamer, M. Civitas and the real world: Problems and solutions from a practical point of view. In: Seventh International Conference on Availability, Reliability and Security, IEEE 2012, pp. 180–185.

    Google Scholar 

  7. [7]

    Louridas, P.; Tsoukalas, G.; Papadimitriou, K.; Tsanakas, P. Zeus Bringing Internet Voting to Greece. In E-Democracy, Security, Privacy and Trust in a Digital World. Springer International Publishing, pp. 213-223.

    Google Scholar 

  8. [8]

    Heiberg, S.; Willemson, J. Verifiable internet voting in Estonia. In: 6th International Conference on Electronic Voting (EVOTE) 2014. IEEE 2014, pp. 1–8.

    Google Scholar 

  9. [9]

    Barrat, J.; Chevalier, M.; Goldsmith, B.; Jandura, D.; Turner, J.; Sharma, R. Internet Voting and Individual Verifiability: The Norwegian Return Codes. In: Electronic Voting 2012, pp. 35–45.

    Google Scholar 

  10. [10]

    Olembo, M. M.; Kahlert, A.; Neumann, S.; Volkamer, M. Partial Verifiability in POLYAS for the GIElections. In: Electronic Voting 2012, pp. 95–109.

    Google Scholar 

  11. [11]

    Volkamer, M.; Vogt, R. Basissatz von Sicherheitsanforderungen an Online-Wahlprodukte. Common Criteria Schutzprofil BSI-CC-PP-0037, Version 1, 18.04.2008.

    Google Scholar 

  12. [12]

    Benaloh, J. Simple verifiable elections. In: Proceedings of the USENIX Workshop on Electronic Voting Technology 2006. USENIX Association 2006, pp. 5–5.

    Google Scholar 

  13. [13]

    Grimm, R.; Reinhard, K.; Winter, C.; Witte, J. Erfahrungen mit Online-Wahlen für Vereinsgremien. In: Datenschutz und Datensicherheit-DuD, 33(2), pp. 97–101.

    Article  Google Scholar 

  14. [14]

    Volkamer, M.; Grimm, R. Determine the resilience of evaluated internet voting systems. In: First International Workshop on Requirements Engineering for e-Voting Systems (RE-VOTE) 2009, IEEE 2009, pp. 47–54.

    Google Scholar 

  15. [15]

    Ryan, P. Y.; Teague, V. Pretty good democracy. In: Security Protocols XVII. Springer Berlin Heidelberg 2013, pp. 111–130.

    Google Scholar 

  16. [16]

    [16] Zagórski, F.; Carback, R. T.; Chaum, D.; Clark, J.; Essex, A.; Vora, P. L. Remotegrity: Design and use of an end-to-end verifiable remote voting system. In: Applied Cryptography and Network Security. Springer Berlin Heidelberg 2013, pp. 441–457.

    Google Scholar 

  17. [17]

    Neumann, S.; Olembo, M. M.; Renaud, K.; Volkamer, M. Helios Verification: To Alleviate, or to Nominate: Is That the Question, or Shall we Have Both? In: Electronic Government and the Information Systems Perspective. Springer International Publishing 2014, pp. 246–260.

    Google Scholar 

  18. [18]

    Truderung, T.; Vogt, A. Accountability: definition and relationship to verifiability. In: Proceedings of the 17th ACM conference on Computer and communications security. ACM 2010, pp. 526–535.

    Google Scholar 

Download references

Author information

Affiliations

Authors

Corresponding author

Correspondence to Stephan Neumann.

Additional information

Stephan Neumann ist Doktorand an der Technischen Universität Darmstadt. Er forscht in der Forschungsgruppe Security, Usability, and Society (SECUSO) an dem Thema Internetwahlen.

Prof. Dr. Melanie Volkamer ist Juniorprofessorin an der Technischen Universität Darmstadt. Sie leitet die Forschungsgruppe Security, Usability, and Society (SECUSO) und forscht schwerpunktmäßig an den Themen elektronische Wahlsysteme und benutzbare Sicherheit.

Moritz Strube ist Chief Technical Officer (CTO) bei der Polyas GmbH und verantwortlich für Forschung und Entwicklung.

Wolfgang Jung ist Mitgründer der Micromata GmbH und Polyas GmbH. Seit 1996 ist er Mitarbeiter der Abteilung Forschung und Entwicklung im Bereich elektronischer Wahlsysteme.

Achim Brelle ist Consultant und Software Developer der Micromata GmbH, Kassel. Derzeit ist Achim Brelle Mitarbeiter der Abteilung Forschung und Entwicklung im Bereich Online-Wahlsysteme für die Polyas GmbH, Kassel.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Neumann, S., Volkamer, M., Strube, M. et al. Cast-as-intended-Verifizierbarkeit für das Polyas-Internetwahlsystem. Datenschutz Datensich 39, 747–752 (2015). https://doi.org/10.1007/s11623-015-0512-7

Download citation