KIT | KIT-Bibliothek | Impressum
Open Access Logo

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

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

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2017
Sprache Englisch
Identifikator ISSN: 1613-0073
KITopen ID: 1000080494
Erschienen in Proceedings of MODELS 2017 Satellite Event : Workshops, Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, Texas, USA, 17th September 2017.Ed.: L. Burgueño
Verlag CEUR-WS, Aachen
Seiten 321-323
Serie CEUR Workshop Proceedings ; 2019
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page