Security and dynamic class loading in Java: A formalisationVerification of control flow based security properties
