@inproceedings{GreinerMohrBeckert2017,
title = {Modular Verification of Information Flow Security in
Component-Based Systems},
author = {Simon Greiner and Martin Mohr and Bernhard Beckert},
booktitle = {Proceedings, 15th International Conference on
Software Engineering and Formal Methods (SEFM 2017)},
editor = {Alessandro Cimatti and Marjan Sirjani},
series = {LNCS 10469},
pages = {300--315},
publisher = {Springer},
year = {2017}
}