A Calculus for Composing Security Policies.   [PDF, BibTeX, ]
Lujo Bauer, Jarred Ligatti, and David Walker.
Technical Report TR-655-02, Princeton University, August 2002.