Browsing by Author "Karapetyan, Daniel"

Now showing items 1-2 of 2

    • Benchmarks and solvers for the Workflow Satisfiability Problem 

      Karapetyan, Daniel (The University of Nottingham, 2021-05-06)
      The Workflow Satisfiability Problem is an important problem in access control. This dataset includes the instances, instance generator and source codes of the solvers used in Daniel Karapetyan, Gregory Gutin, Solving the ...

    • Instance generator and solvers for the Valued Authorization Policy Existence Problem 

      Karapetyan, Daniel (The University of Nottingham, 2021-07-13)
      Python code of the instance generator and two mixed-integer-programming solvers (User-Profile and Naive) for the Valued Authorization Policy Existence Problem. Related to the paper "Valued Authorization Policy Existence ...