H
R
B
-
S
licing Dependents
2010
Inter-Procedural Information Flow Noninterference via Slicing
by
Daniel Wasserrab
Mar 23