1. OASIS eXtensible Access Control Markup Language (XACML) (2005),
http://www.oasis-open.org/committees/xacml/
2. Sun’s XACML implementation (2005),
http://sunxacml.sourceforge.net/
3. XACML.NET (2005),
http://mvpos.sourceforge.net/
4. Amla, N., Ammann, P.: Using Z specifications in category partition testing. In: Proc. 7th Annual Conference on Computer Assurance, June 1992, pp. 3–10 (1992)
5. Ammann, P., Offutt, J.: Using formal methods to derive test frames in category-partition testing. In: Proc. 9th Annual Conference on Computer Assurance, June 1994, pp. 69–80 (1994)