Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
Gerking, Christopher
; Schubert, David
; Schubert, David
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2019 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-7281-0528-4 KITopen-ID: 1000142764 |
| Erschienen in | IEEE International Conference on Software Architecture : ICSA 2019 : 25-29 March 2019, Hamburg, Germany : proceedings. Ed.: Matthias Riebisch |
| Veranstaltung | IEEE International Conference on Software Architecture (ICSA 2019), Hamburg, Deutschland, 25.03.2019 – 29.03.2019 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 61–70 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | Scopus Dimensions |