Conflict analysis as a means of enforcing static separation of duty requirements in workflow environments