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