Jeremy Bryans Reasoning about XACML policies using CSP. 28-35 2005 SWS http://doi.acm.org/10.1145/1103022.1103028 conf/sws/2005 db/conf/sws/sws2005.html#Bryans05