Skip to main content

Research Repository

Advanced Search

Dr DANIEL KARAPETYAN's Outputs (2)

Solving the Workflow Satisfiability Problem using General Purpose Solvers (2022)
Journal Article
Karapetyan, D., & Gutin, G. (2023). Solving the Workflow Satisfiability Problem using General Purpose Solvers. IEEE Transactions on Dependable and Secure Computing, 20(6), 4474 - 4485. https://doi.org/10.1109/tdsc.2022.3227241

The workflow satisfiability problem (WSP) is a well-studied problem in access control seeking allocation of authorised users to every step of the workflow, subject to workflow specification constraints. It was noticed that the number k of steps is ty... Read More about Solving the Workflow Satisfiability Problem using General Purpose Solvers.

2Zero project D5.1 Modelling And Simulation Report (2022)
Report
Atkin, J., Karapetyan, D., De Maere, G., He, Y., Jackson, W., El Krari, M., & Siggs, T. 2Zero project D5.1 Modelling And Simulation Report. Innovate UK

This report summarises the work in the Modelling and Simulation Work Package, WP 2, of the 2Zero project (funded by Innovate UK, grant agreement number 74829) under UKRI’s Future Flight Challenge Fund. It discusses the simulation that was built, how... Read More about 2Zero project D5.1 Modelling And Simulation Report.