Skip to Main content Skip to Navigation
Conference papers

Dynamic Workflow Adjustment with Security Constraints

Abstract : Dynamic workflow adjustment studies how to minimally adjust existing user-task assignments, when a sudden change occurs, e.g. absence of users, so that all tasks are being attended and no constraint is violated.In particular, we study two key questions: (i) Will the workflow still be satisfiable given a change? (ii) If the answer is yes, how to find a satisfying assignment with the minimum perturbation to the old system? We consider various types of changes, including absence of a user, addition of a separation-of-duty constraint, addition of a binding-of-duty constraint, and revocation of a user-to-task authorization, study their theoretical properties and formulate them into the well-studied Boolean satisfiability problem, which enables a system engineer without much technical background to solve problems by using standard satisfiability solvers. A step further, towards more efficient solutions for our specific problems, we propose customized algorithms by adapting and tailoring the state-of-art algorithms inside standard solvers. Our work would have implications for business process management, staffing, and cost planning.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-01284857
Contributor : Hal Ifip <>
Submitted on : Tuesday, March 8, 2016 - 11:07:30 AM
Last modification on : Tuesday, August 13, 2019 - 11:32:01 AM
Long-term archiving on: : Sunday, November 13, 2016 - 9:59:28 AM

File

978-3-662-43936-4_14_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Haibing Lu, Yuan Hong, Yanjiang Yang, Yi Fang, Lian Duan. Dynamic Workflow Adjustment with Security Constraints. 28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2014, Vienna, Austria. pp.211-226, ⟨10.1007/978-3-662-43936-4_14⟩. ⟨hal-01284857⟩

Share

Metrics

Record views

86

Files downloads

406