Weak, Strong and Dynamic Controllability of Access-Controlled Workflows Under Conditional Uncertainty