D Agrawal, J Giles, KW Lee, J Lobo - Policies for Distributed …, 2005 - research.ibm.com
It is not sufficient to merely check the syntax of new policies before they are deployed in a
system; policies need to be analyzed for their interactions with each other and with their …