KIT | KIT-Bibliothek | Impressum | Datenschutz

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

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


Postprint §
DOI: 10.5445/IR/1000081958
Veröffentlicht am 11.07.2018
Originalveröffentlichung
DOI: 10.1007/s11623-015-0512-7
Dimensions
Zitationen: 1
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2015
Sprache Deutsch
Identifikator ISSN: 0724-4371, 1614-0702, 1862-2607
urn:nbn:de:swb:90-819587
KITopen-ID: 1000081958
Erschienen in Datenschutz und Datensicherheit
Verlag Springer Verlag
Band 39
Heft 11
Seiten 747-752
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page