KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Postprint
DOI: 10.5445/IR/1000081958
Veröffentlicht am 11.07.2018
Originalveröffentlichung
DOI: 10.1007/s11623-015-0512-7

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

Neumann, Stephan; Volkamer, Melanie; Strube, Moritz; Jung, Wolfgang; Brelle, Achim



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Jahr 2015
Sprache Deutsch
Identifikator ISSN: 0724-4371, 1614-0702, 1862-2607
URN: urn:nbn:de:swb:90-819587
KITopen ID: 1000081958
Erschienen in Datenschutz und Datensicherheit
Band 39
Heft 11
Seiten 747-752
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page