Media type: E-Book Title: Probabilistic Noninterference Based on Program Dependence Graphs Contributor: Giffhorn, Dennis [Author]; Snelting, Gregor [Author] imprint: Karlsruhe: KIT, Fakultät für Informatik, 2012 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2012,6 Extent: Online-Ressource Language: English DOI: 10.5445/IR/1000028162 Identifier: Keywords: Forschungsbericht Origination: Footnote: Systemvoraussetzungen: Acrobat reader Access State: Open Access