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 |
| 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 |