Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems

Kateryna Yurchenko, Moritz Behr, Heiko Klare, Max E. Kramer, Ralf H. Reussner. Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems. In Loli BurgueƱo, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio, editors, Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), 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, TX, USA, September, 17, 2017. Volume 2019 of CEUR Workshop Proceedings, pages 321-323, CEUR-WS.org, 2017. [doi]

Authors

Kateryna Yurchenko

This author has not been identified. Look up 'Kateryna Yurchenko' in Google

Moritz Behr

This author has not been identified. Look up 'Moritz Behr' in Google

Heiko Klare

This author has not been identified. Look up 'Heiko Klare' in Google

Max E. Kramer

This author has not been identified. Look up 'Max E. Kramer' in Google

Ralf H. Reussner

This author has not been identified. Look up 'Ralf H. Reussner' in Google