KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Postprint
DOI: 10.5445/IR/1000081817
Veröffentlicht am 19.07.2018
Scopus
Zitationen: 8

Development of a Formal IT-Security Model for Remote Electronic Voting Systems

Grimm, Rüdiger; 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
Jahr 2008
Sprache Englisch
Identifikator ISBN: 978-388579225-3
ISSN: 1617-5468
URN: urn:nbn:de:swb:90-818175
KITopen ID: 1000081817
Erschienen in 3rd International Conference on Electronic Voting 2008, EVOTE 2008, Bregenz, A, 6. - 9. August 2008
Verlag Gesellschaft für Informatik, Bonn
Seiten 185-196
Serie Lecture notes in informatics ; 131
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page