@inproceedings{lu:hal-01284857,
  TITLE = {{Dynamic Workflow Adjustment with Security Constraints}},
  AUTHOR = {Lu, Haibing and Hong, Yuan and Yang, Yanjiang and Fang, Yi and Duan, Lian},
  URL = {https://inria.hal.science/hal-01284857},
  BOOKTITLE = {{28th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec)}},
  ADDRESS = {Vienna, Austria},
  EDITOR = {David Hutchison and Takeo Kanade and Bernhard Steffen and Demetri Terzopoulos and Doug Tygar and Gerhard Weikum and Vijay Atluri and G{\"u}nther Pernul and Josef Kittler and Jon M. Kleinberg and Alfred Kobsa and Friedemann Mattern and John C. Mitchell and Moni Naor and Oscar Nierstrasz and C. Pandu Rangan},
  PUBLISHER = {{Springer}},
  SERIES = {Data and Applications Security and Privacy XXVIII},
  VOLUME = {LNCS-8566},
  PAGES = {211-226},
  YEAR = {2014},
  MONTH = Jul,
  DOI = {10.1007/978-3-662-43936-4\_14},
  KEYWORDS = {workflow ; security ; dynamic ; satisfiability},
  PDF = {https://inria.hal.science/hal-01284857/file/978-3-662-43936-4_14_Chapter.pdf},
  HAL_ID = {hal-01284857},
  HAL_VERSION = {v1},
}