Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
Gerking, Christopher
; Schubert, David; Koziolek, Anne [Hrsg.]
; Schaefer, Ina [Hrsg.]; Seidl, Christoph [Hrsg.]
; Schubert, David; Koziolek, Anne [Hrsg.]
; Schaefer, Ina [Hrsg.]; Seidl, Christoph [Hrsg.]
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2021 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-88579-704-3 ISSN: 1617-5468 KITopen-ID: 1000142763 |
| Erschienen in | Software Engineering 2021 : Fachtagung 22.-26. Februar 2020 Braunschweig/Virtuell / Anne Koziolek, Ina Schaefer, Christoph Seidl |
| Veranstaltung | GI Software Engineering Tagung (SE 2021), Online, 22.02.2021 – 26.02.2021 |
| Verlag | Gesellschaft für Informatik (GI) |
| Seiten | 43–44 |
| Serie | Lecture Notes in Informatics ; P-310 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | Scopus |