Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
Publikationstyp | Zeitschriftenaufsatz |
Publikationsjahr | 2024 |
Sprache | Englisch |
Identifikator | ISSN: 0360-0300, 1557-7341 KITopen-ID: 1000176475 |
HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
Erschienen in | ACM Computing Surveys |
Verlag | Association for Computing Machinery (ACM) |
Vorab online veröffentlicht am | 20.11.2024 |
Nachgewiesen in | Dimensions |