KIT | KIT-Bibliothek | Impressum | Datenschutz

Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures

Gerking, Christopher ORCID iD icon; Schubert, David


Download
Originalveröffentlichung
DOI: 10.1109/ICSA.2019.00015
Scopus
Zitationen: 20
Dimensions
Zitationen: 18
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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page