Return to Article Details Evaluating the Overhead of Dynamic Information Flow Analysis Performed by Security Typed Programming Languages Download Download PDF