Synthesising verified access control systems in XACML.

Nan Zhang, Mark Ryan, Dimitar P. Guelev

Browse the full CCS paper archive.