@techreport{TUM-I1121,
  author = {M\'at\'e Kov\'acs and Helmut Seidl},
  title = {Runtime {E}nforcement of {I}nformation {F}low {S}ecurity in {T}ree {M}anipulating {P}rocesses ({P}roofs) },
  year = 2011,
  pages = {17},
  publisher = {Fakult\"at f\"ur Informatik der Technischen Universit\"at M\"unchen},
}