Modular Verification of Information Flow Security in Component-Based Systems – Proofs and Proof of Concept

Technical Report

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

BibTeX

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