A Language and System for Composing Security Policies. [PDF, BibTeX, ]Lujo Bauer, Jay Ligatti, and David Walker. Technical Report TR-699-04, Princeton University, January 2004.