Hang Zhao Jorge Lobo Steven M. Bellovin An Algebra for Integration and Analysis of Ponder2 Policies. 74-77 2008 POLICY http://doi.ieeecomputersociety.org/10.1109/POLICY.2008.42 conf/policy/2008 db/conf/policy/policy2008.html#ZhaoLB08