A Formal IT-Security Model for the Correction and Abort Requirement of Electronic Voting
Grimm, Rüdiger; Hupf, Katharina; Volkamer, Melanie
| 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 |