TY - GEN
AU - Beckert, Bernhard
AU - Bischof, Simon
AU - Herda, Mihai
AU - Kirsten, Michael
AU - Kleine Büning, Marko
TI - Combining Graph-Based and Deduction-Based Information-Flow Analysis
PB - Theoretical Foundations of Security Analysis and Design (IFIP WG 1.7)
KW - non-interference
KW - verification
KW - dependency graph
KW - DATA processing & computer science
KW - information flow control
PY - 2017-01-01
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation