@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}, }