KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Grimm, Rüdiger; Volkamer, Melanie

Open Access Logo


Postprint §
DOI: 10.5445/IR/1000081843
Veröffentlicht am 17.07.2018
Coverbild
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: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
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page