Steve Zdancewic Lantian Zheng Nathaniel Nystrom Andrew C. Myers Secure program partitioning. 283-328 2002 20 ACM Trans. Comput. Syst. 3 http://doi.acm.org/10.1145/566340.566343 db/journals/tocs/tocs20.html#ZdancewicZNM02