Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
Publikationstyp | Vortrag |
Publikationsdatum | 10.10.2019 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000098887 |
Veranstaltung | KASTEL Seminar (2019), Karlsruhe, Deutschland, 10.10.2019 |
Projektinformation | KASTEL_SVI (BMBF, 16KIS0521) |
Schlagwörter | Information flow control, reactive system, security |