Static Compliance Checking beyond Separation of Duty Constraints | IEEE Conference Publication | IEEE Xplore