@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 = {http://dx.doi.org/10.5445/IR/1000070463}
}