ALFA, the Axiomatics Language For Authorization, is a domain-specific language used to write fine-grained authorization policies which are then converted into XACML 3.0.
