Kramer, Max Emanuel
[Author];
Hecker, Martin
[Author];
Greiner, Simon
[Author];
Bao, Kaibin
[Author];
Yurchenko, Kateryna
[Author]
;
Karlsruher Institut für Technologie Fakultät für Informatik
Model-driven specification and analysis of confidentiality in component-based systems