Daniel Ricardo dos Santos, Silvio Ranise, Luca Compagna, Serena Elisa Ponta: Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios. DBSec 2015: 85-100