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