A Proof System for Information Flow Security