Robert Grabowski: Information flow analysis for mobile code in dynamic security environments. Ludwig Maximilians University Munich 2012, 1-168