1. Introduction

2. Methodology
2.1. Literature search
2.2. Literature selection
2.3. Results

3. Workflows and authorization
3.1. Control-flow
3.2. Authorization

4. Workflow Satisfiability
4.1. Initial works
4.2. FPT algorithms
4.3. Model checking

5. Workflow Resiliency

6. Related problems

7. Conclusion