@conference {inp:KovacsSeidl2012a, title = {Runtime Enforcement of Information Flow Security in Tree Manipulating Processes}, booktitle = {Proceedings of the 4th International Symposium on Engineering Secure Software and Systems (ESSoS 2012)}, year = {2012}, author = {M. Kov{\'a}cs and H. Seidl} }