KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Grimm, Rüdiger; Volkamer, Melanie


Postprint §
DOI: 10.5445/IR/1000081843
Veröffentlicht am 17.07.2018
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 Deutsch
Identifikator ISBN: 978-388579227-7
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 (GI)
Seiten 429-436
Serie Band 1
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page