Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Wissenschaftskommunikation im Internet |
Publikationsdatum | 08.03.2021 |
Sprache | Deutsch |
Identifikator | KITopen-ID: 1000130744 |
HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
URL | https://secuso.aifb.kit.edu/Neuigkeiten.php |