@Misc{bao2017msaaocics, author = "Kaibin Bao and Max E. Kramer and Martin Hecker and Simon Greiner and Kateryna Yurchenko", doi = "10.5445/IR/1000076957", howpublished = "Karlsruhe Reports in Informatics, Technical Report", issn = "2190-4782", title = "Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems", year = "2017", }