On the Satisfiability of Workflows with Release Points

Jason Crampton, Gregory Gutin, Rémi Watrigant. On the Satisfiability of Workflows with Release Points. In Elisa Bertino, Ravi Sandhu, Edgar R. Weippl, editors, Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, SACMAT 2017, Indianapolis, IN, USA, June 21-23, 2017. pages 207-217, ACM, 2017. [doi]

@inproceedings{CramptonGW17,
  title = {On the Satisfiability of Workflows with Release Points},
  author = {Jason Crampton and Gregory Gutin and Rémi Watrigant},
  year = {2017},
  doi = {10.1145/3078861.3078866},
  url = {http://doi.acm.org/10.1145/3078861.3078866},
  researchr = {https://researchr.org/publication/CramptonGW17},
  cites = {0},
  citedby = {0},
  pages = {207-217},
  booktitle = {Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, SACMAT 2017, Indianapolis, IN, USA, June 21-23, 2017},
  editor = {Elisa Bertino and Ravi Sandhu and Edgar R. Weippl},
  publisher = {ACM},
  isbn = {978-1-4503-4702-0},
}