More Enforceable Security Policies.   [PDF, BibTeX, ]
Lujo Bauer, Jarred Ligatti, and David Walker.
In Foundations of Computer Security, July 2002.