Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling User Availability in Workflow Resiliency Analysis

Lookup NU author(s): Dr John Mace, Dr Charles Morisset, Professor Aad van Moorsel



Workflows capture complex operational processes and include security constraints limiting which users can perform which tasks. An improper security policy may prevent certain tasks being assigned and may force a policy violation. Deciding whether a valid user-task assignment exists for a given policy is known to be extremely complex, especially when considering user unavailability (known as the resiliency problem). Therefore tools are required that allow automatic evaluation of workflow resiliency. Modelling well defined workflows is fairly straightforward, however user availability can be modelled in multiple ways for the same workflow. Correct choice of model is a complex yet necessary concern as it has a major impact on the calculated resiliency. We describe a number of user availability models and their encoding in the model checker PRISM, used to evaluate resiliency. We also show how model choice can affect resiliency computation in terms of its value, memory and CPU time.

Publication metadata

Author(s): Mace J, Morisset C, van Moorsel A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2015

Pages: 13

Print publication date: 01/05/2015

Report Number: 1468

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne