Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem-Reference-Cited by-同舟云学术

Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem

Published:2016-06-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies
language:
Short-container-title:

Author:

dos Santos Daniel R.¹,Ponta Serena Elisa²,Ranise Silvio³

Affiliation:

1. Fondazione Bruno Kessler, SAP Labs-France & University of Trento, Trento, Italy

2. SAP Labs France, Mougins, France

3. Fondazione Bruno Kessler, Trento, Italy

Funder

European Union

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2914642.2914649

Reference32 articles.

1. Model Checking of Security-Sensitive Business Processes

2. Dynamic enforcement of abstract separation of duty constraints

3. Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes

4. D. Cohen J. Crampton A. V. Gagarin G. Gutin and M. Jones. Algorithms for the workflow satisfiability problem engineered for counting constraints. CoRR abs/1504.02420 2015. D. Cohen J. Crampton A. V. Gagarin G. Gutin and M. Jones. Algorithms for the workflow satisfiability problem engineered for counting constraints. CoRR abs/1504.02420 2015.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Constraint Branching in Workflow Satisfiability Problem;Proceedings of the 25th ACM Symposium on Access Control Models and Technologies;2020-05-28

2. On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows;Software Engineering and Formal Methods;2017

3. WRAD: Tool Support for Workflow Resiliency Analysis and Design;Lecture Notes in Computer Science;2016