Browse by author
Lookup NU author(s): Dr John Mace,
Dr Charles Morisset,
Professor Aad van Moorsel
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Designing efficient workflows is complex especially when considering security constraints that restrict which users can perform which tasks. This is further exacerbated when considering users could become unavailable at runtime, which is known as the workflow resiliency problem. Ideally, designers undertake resiliency analysis at the design stage so that the likely impact of security constraints on a workflow can be assessed before its execution. In this paper, we describe a new tool called Workflow Resiliency Analysis and Design (WRAD) which automatically encodes a textual description of a workflow into the probabilistic model-checker PRISM, and carries out a resiliency evaluation. WRAD also computes optimal change sets for security constraints to assure a given resiliency threshold is reached.
Author(s): Mace JC, Morisset C, van Moorsel A
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 8th international workshop on Software Engineering for Resilient Systems (SERENE 2016)
Year of Conference: 2016
Online publication date: 26/08/2016
Acceptance date: 02/04/2016
Publisher: Springer International Publishing
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science (LNCS)