Skip to Main content Skip to Navigation
Conference papers

Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios

Abstract : To support the re-use of business process models, an emerging trend in Business Process Management, it is crucial to assist customers during deployment. We study how to do this for an important class of business processes, called security-sensitive workflows, in which execution constraints on the tasks are complemented with authorization constraints (e.g., Separation of Duty) and authorization policies (constraining which users can execute which tasks). We identify the capability of solving Scenario Finding Problems (SFPs), i.e. finding concrete execution scenarios, as crucial in supporting the re-use of security-sensitive workflows. Solutions of SFPs provide evidence that the business process model can be successfully executed under the policy adopted by the customer. We present a technique for solving two SFPs and validate it on real-world business process models taken from an on-line library.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, March 28, 2018 - 3:58:14 PM
Last modification on : Wednesday, May 19, 2021 - 4:52:03 PM
Long-term archiving on: : Thursday, September 13, 2018 - 12:03:09 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Daniel Santos, Silvio Ranise, Luca Compagna, Serena Ponta. Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios. 29th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2015, Fairfax, VA, United States. pp.85-100, ⟨10.1007/978-3-319-20810-7_6⟩. ⟨hal-01745831⟩



Les métriques sont temporairement indisponibles