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.