Verification of Dynamic Separation of Duty Policy for Role-based Business Processes


Separation of duty (SoD) is a widely used security principle to help prevent frauds in a business process. Though SoD has been studied by many researchers, most of them are concerned with specifications of various types of SoD constraints for policy enforcement. For large organizations that employ SoD policies, the ability to automatically verify if a given… (More)


3 Figures and Tables