Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2021 |
Sprache | Englisch |
Identifikator | ISSN: 2363-7005, 1867-0202 KITopen-ID: 1000129684 |
HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
Erschienen in | Business & information systems engineering |
Verlag | Springer |
Band | 63 |
Heft | 4 |
Seiten | 457–478 |
Bemerkung zur Veröffentlichung | Die Publikation hat keinen Abstract |
Vorab online veröffentlicht am | 12.02.2021 |
Nachgewiesen in | Dimensions Scopus Web of Science |