Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services