@techreport{GreinerMohrBeckert2017,
  title       = {Modular Verification of Information Flow Security in 
                 Component-Based Systems: Proofs and Proof of Concept},
  author      = {Simon Greiner and Martin Mohr and Bernhard Beckert},
  series      = {Karlsruhe Reports in Informatics},
  institution = {Department of Informatics, Karlsruhe Institute of Technology},
  number      = {2017,9},
  publisher   = {KIT},
  year        = {2017},
  month       = jun,
  url         = {https://dx.doi.org/10.5445/IR/1000070463}
}