
From model-driven specification to design-level set-based analysis of XACML policies
Keywords: Web services security; XACML policies; Model-driven specification; Design-level analysis; Logical deductions; Access control