Architecture-driven reduction of specification overhead for verifying confidentiality in component-based software systems
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 10.12.2017 |
| Sprache | Englisch |
| Identifikator | ISSN: 1613-0073 KITopen-ID: 1000080494 |
| Erschienen in | ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, September 17-22, 2017. Ed.: L. Burgueño |
| Verlag | RWTH Aachen |
| Seiten | 321-323 |
| Serie | CEUR Workshop Proceedings ; 2019 |
| Nachgewiesen in | Scopus |