Refinement-based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations

  1. Lookup NU author(s)
  2. Dr Jeremy Bryans
  3. Professor John Fitzgerald
  4. Professor Thomas McCutcheon
Author(s)Bryans J, Fitzgerald JS, McCutcheon T
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference Name12th IFIP Working Conference on Virtual Enterprises
Conference LocationSao Paulo, Brazil
Year of Conference2011
Legacy Date17-19 October 2011
Volume362
Pages314-321
Series TitleIFIP Advances in Information and Communication Technology
ISBN9783642233296
Full text is available for this publication:
Dynamic virtual organisations (VOs) can arise in situations in which it is critical that they continue to operate, even in sub-optimal environments. Models of information flow in dynamic VOs are therefore needed in order to permit the rigorous verification of resilience properties before commitments are made to implementation. This paper proposes a refinement-based modelling approach for the design and analysis of VO policy resilience. The approach is demonstrated by using the refinement-based formalism Event-B to model a VO structure, commonly referred to as the Bronze/Silver/Gold structure that frequently arises in multi-agency response to emergencies. Machine-assisted proof is used to compare the validity of alternative information flow policies in Bronze/Silver/Gold when a fault is induced in the VO structure.
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-642-23330-2_35
DOI10.1007/978-3-642-23330-2_35
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item