Work

Specification and Verification of Separation of Duty Constraints in Attribute-Based Access Control