Nan Zhang 0003 Mark Ryan Dimitar P. Guelev Synthesising verified access control systems in XACML. 56-65 2004 conf/ccs/2004 FMSE http://doi.acm.org/10.1145/1029133.1029141 db/conf/ccs/ccs2004.html#ZhangRG04