@techreport{Grei17tr,
title = {Modular Verification of Information Flow Security in
Component-Based Systems -- Proofs and Proof of Concept},
series = {Karlsruhe Reports in Informatics ; 2017,9},
author = {Simon Greiner and
Martin Mohr and
Bernhard Beckert},
address = {Karlsruhe},
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}
}
Modular Verification of Information Flow Security in Component-Based Systems – Proofs and Proof of Concept
| Author(s): | Simon Greiner, Martin Mohr, and Bernhard Beckert |
|---|---|
| Institution: | Department of Informatics, Karlsruhe Institute of Technology |
| Publisher: | KIT |
| Series: | Karlsruhe Reports in Informatics ; 2017,9 |
| Number: | 2017,9 |
| Year: | 2017 |
| URL: | https://dx.doi.org/10.5445/IR/1000070463 |