Static Information Flow and Secure Program Partitioning