Comparing Rule-Based Policies - Bonatti, P.A.; Mogavero, F. (2008 IEEE Workshop on Policies for Distributed Systems and Networks : policy 2008, 2-4 June 2008, Palisades, New York, USA : proceedings, 2008)
Keywords: Algebra; Arithmetic; Authorization; Automata; Conferences; Datalog query containment; Logic functions; Network servers; Policy comparison; Policy compliance; Policy verification; Policy-aware service selection; Privacy; Query processing; Rule-based policies; Security