KIT | KIT-Bibliothek | Impressum | Datenschutz

Architecture-driven reduction of specification overhead for verifying confidentiality in component-based software systems

Yurchenko, Kateryna; Behr, Moritz; Klare, Heiko; Kramer, Max; Reussner, Ralf



Scopus
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 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 CEUR-WS, Aachen
Seiten 321-323
Serie CEUR Workshop Proceedings ; 2019
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page