Scaling Information Flow Control By-Construction to Component-Based Software Architectures
Rønneberg, Rasmus C.
1; Bordis, Tabea
1; Gerking, Christopher
1; Tabar, Asmae Heydari
1; Schaefer, Ina
1
1 Karlsruher Institut für Technologie (KIT)
1; Bordis, Tabea
1; Gerking, Christopher
1; Tabar, Asmae Heydari
1; Schaefer, Ina
11 Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2025 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-031-95496-2 ISSN: 0302-9743 KITopen-ID: 1000182697 |
| HGF-Programm | 46.23.03 (POF IV, LK 01) Engineering Security for Mobility Systems |
| Erschienen in | Formal Techniques for Distributed Objects, Components, and Systems Techniques. Ed.: C. Ferreira |
| Veranstaltung | FIP WG 6.1 International Conference (FORTE) - 20th International Federated Conference on Distributed Computing Techniques (DisCoTec 2025), Lille, Frankreich, 16.06.2025 – 20.06.2025 |
| Verlag | Springer Nature Switzerland |
| Seiten | 55–74 |
| Serie | Lecture Notes in Computer Science ; 15732 |
| Vorab online veröffentlicht am | 11.06.2025 |
| Nachgewiesen in | Scopus Dimensions OpenAlex |
| Globale Ziele für nachhaltige Entwicklung |