Konstantine Arkoudas, Shoshana Loeb, Ritu Chadha, C. Jason Chiang, Keith Whittaker. Automated Policy Analysis. In 2012 IEEE International Symposium on Policies for Distributed Systems and Networks, POLICY 2012, Chapel Hill, NC, USA, July 16-18, 2012. pages 1-8, IEEE Computer Society, 2012. [doi]
Abstract is missing.