Information flow security in tree-manipulating processes - Kovács, Máté Amadé (München, Techn. Univ., Diss., 2014, 2014)