Daniel Ricardo dos Santos Silvio Ranise Luca Compagna Serena Elisa Ponta Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios. 85-100 2015 DBSec https://doi.org/10.1007/978-3-319-20810-7_6 conf/dbsec/2015 db/conf/dbsec/dbsec2015.html#SantosRCP15