More Enforceable Security Policies. [PDF, BibTeX, ]Lujo Bauer, Jarred Ligatti, and David Walker. Technical Report TR-649-02, Princeton University, June 2002.