Modeling and Analyzing Separation of Duties in Workflow Environments · Study