KIT | KIT-Bibliothek | Impressum | Datenschutz

A Formal IT-Security Model for the Correction and Abort Requirement of Electronic Voting

Grimm, Rüdiger; Hupf, Katharina; Volkamer, Melanie


Postprint §
DOI: 10.5445/IR/1000081850
Veröffentlicht am 12.07.2018
Scopus
Zitationen: 5
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 Proceedingsbeitrag
Publikationsjahr 2010
Sprache Englisch
Identifikator ISBN: 978-3-88579-261-1
ISSN: 1617-5468
urn:nbn:de:swb:90-818501
KITopen-ID: 1000081850
Erschienen in Electronic voting 2010 (EVOTE2010) : 4th international conference, July 21st - 24th, 2010 in Castle Hofen, Bregenz, Austria. Eds.: Robert Krimmer, Rüdiger Grimm
Verlag Gesellschaft für Informatik (GI)
Seiten 89-107
Serie GI-Edition: Proceedings ; 167
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page