KIT | KIT-Bibliothek | Impressum | Datenschutz
Open Access Logo
§
Postprint
DOI: 10.5445/IR/1000081843
Veröffentlicht am 17.07.2018

Implementierbare Zustandsübergänge eines formalen IT-Sicherheitsmodells für Online-Wahlsysteme

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 Deutsch
Identifikator ISBN: 978-388579227-7
URN: urn:nbn:de:swb:90-818430
KITopen ID: 1000081843
Erschienen in 38th Jahrestagung der Gesellschaft fur Informatik e.V. (GI): Beherrschbare Systeme - Dank Informatik, INFORMATIK 2008, München, 8. - 13. September 2008. Hrsg.: H.-G. Hegering
Verlag Gesellschaft für Informatik, Bonn
Seiten 429-436
Serie Band 1
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page