Grabowski, Robert (2012): Information flow analysis for mobile code in dynamic security environments. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics