Formal representation of conflict zones in XACML access control systems | IEEE Conference Publication | IEEE Xplore