@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}
}