Grabowski, Robert (2012): Information flow analysis for mobile code in dynamic security environments. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik