Zugehörige Institution(en) am KIT | Institut für Technik der Informationsverarbeitung (ITIV) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2015 |
Sprache | Englisch |
Identifikator | KITopen-ID: 1000078859 |
Erschienen in | International Workshop on MILS: Architecture and Assurance for Secure Systems (MILS 2015), 20.01.2015, Amsterdam |