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

Technischer Bericht

Autor(en):Simon Greiner, Martin Mohr und Bernhard Beckert
Institution:Department of Informatics, Karlsruhe Institute of Technology
Verleger:KIT
Reihe:Karlsruhe Reports in Informatics
Nummer:2017,9
Jahr: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},
  series      = {Karlsruhe Reports in Informatics},
  publisher   = {KIT},
  year        = {2017},
  month       = jun,
  url         = {http://dx.doi.org/10.5445/IR/1000070463}
}