Analysis of XACML policies with ASP. - Dhouha Ayed; Marie-Noëlle Lepareux; Cyrille Martins (NTMS, 2015)