Cast-as-intended-Verifizierbarkeit für das Polyas-Internetwahlsystem
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2015 |
| Sprache | Deutsch |
| Identifikator | ISSN: 0724-4371, 1614-0702, 1862-2607 urn:nbn:de:swb:90-819587 KITopen-ID: 1000081958 |
| Erschienen in | Datenschutz und Datensicherheit |
| Verlag | Springer-Verlag |
| Band | 39 |
| Heft | 11 |
| Seiten | 747-752 |
| Nachgewiesen in | Dimensions |