Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes