A sound type system for secure flow analysis