Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2006 |
Sprache | Deutsch |
Identifikator | ISSN: 0170-6012, 1432-122X KITopen-ID: 1000082015 |
Erschienen in | Informatik-Spektrum |
Verlag | Springer |
Band | 29 |
Heft | 2 |
Seiten | 98-113 |
Nachgewiesen in | Dimensions Scopus |