TY -
GEN
AU - Giffhorn, Dennis
AU - Snelting, Gregor
TI -
Probabilistic Noninterference Based on Program Dependence Graphs
PB - KIT, Fakultät für Informatik
KW - Forschungsbericht
PY - 2012
BT - Karlsruhe reports in informatics ; 2012, 6
CY - Karlsruhe
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -