Modeling and analyzing the impact of authorization on workflow executions · Study