KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Grimm, Rüdiger; Volkamer, Melanie


Postprint §
DOI: 10.5445/IR/1000081817
Veröffentlicht am 19.07.2018
Scopus
Zitationen: 11
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 2008
Sprache Englisch
Identifikator ISBN: 978-388579225-3
ISSN: 1617-5468
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 (GI)
Seiten 185-196
Serie Lecture notes in informatics ; 131
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page