Information flow security in tree-manipulating processes - Kovács, Máté Amadé (2014)