On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows-Reference-Cited by-同舟云学术

On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows

Published:2017 Issue: Volume: Page:203-218
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

dos Santos Daniel Ricardo,Ranise Silvio

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-66197-1_13

Reference33 articles.

1. Alberti, F., Ghilardi, S., Pagani, E., Ranise, S., Rossi, G.P.: Universal guards, relativization of quantifiers, and failure models in model checking modulo theories. JSAT 8, 29–61 (2012)

2. Alhaqbani, B., Adams, M., Fidge, C.J., ter Hofstede, A.H.M.: Privacy-aware workflow management. In: Proceedings of BPM, pp. 111–128. Springer, Heidelberg (2013)

3. Basin, D., Burri, S.J., Karjoth, G.: Dynamic enforcement of abstract separation of duty constraints. TISSEC 15(3), 13:1–13:30 (2012)

4. Basin, D., Burri, S.J., Karjoth, G.: Obstruction-free authorization enforcement: Aligning security and business objectives. JCS 22(5), 661–698 (2014)

5. Bell, D.: The bell-lapadula model. JCS 4(2), 3 (1996)

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

1. Solving the Workflow Satisfiability Problem using General Purpose Solvers;IEEE Transactions on Dependable and Secure Computing;2022

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

3. Defining Instance Spanning Constraint Patterns for Business Processes Based on Proclets;Conceptual Modeling;2020