Entwicklung eines formalen IT-Sicherheitsmodells für Online-Wahlsysteme
| 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 | KITopen-ID: 1000081842 |
| Erschienen in | Internationales Rechtsinformatik Symposion Universität Salzburg, 21.-23. Februar 2008 |
| Verlag | Boorberg Verlag |
| Seiten | 145-156 |