The consistency of task-based authorization constraints in workflow
Introduction to Algorithms