Cited By
View all- Karapetyan DGutin G(2023)Solving the Workflow Satisfiability Problem Using General Purpose SolversIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2022.322724120:6(4474-4485)Online publication date: Nov-2023
- Gutin GKarapetyan DLobo JStoller SLiu P(2020)Constraint Branching in Workflow Satisfiability ProblemProceedings of the 25th ACM Symposium on Access Control Models and Technologies10.1145/3381991.3395600(93-103)Online publication date: 10-Jun-2020
- dos Santos DRanise S(2017)On Run-Time Enforcement of Authorization Constraints in Security-Sensitive WorkflowsSoftware Engineering and Formal Methods10.1007/978-3-319-66197-1_13(203-218)Online publication date: 13-Aug-2017
- Show More Cited By