Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering

Bryans, Jeremy; Fitzgerald, JS; Jones, Cliff B.; Mozolevsky, Igor

doi:10.1109/isola.2006.21

Cited by 12 publications

(16 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The model presented here abstracts away from modeling the propagation of awareness information as in [22] and [11], or information flow modeling as in [5]. It advances the focus/nimbus model of [2], [19] in that it is explicit about the object of awareness: i.e.…”

Section: Resultsmentioning

confidence: 99%

‘Aware of What?’ A Formal Model of Awareness Systems That Extends the Focus-Nimbus Model

Metaxas

Markopoulos

2008

Engineering Interactive Systems

View full text Add to dashboard Cite

Abstract. We present a formal-model of awareness-systems founded upon the focus and nimbus model of Benford et al [2] and of Rodden [19]. The model aims to provide a conceptual tool for reasoning about this class of systems. Our model introduces the notions of aspects, attributes and resources in order to expose the communicational aspects of awareness-systems. We show how the model enables reasoning about issues such as deception and plausible deniability, which arguably are crucial for enabling users to protect their privacy and to manage how they present themselves to their social network.

show abstract

Section: Resultsmentioning

confidence: 99%

‘Aware of What?’ A Formal Model of Awareness Systems That Extends the Focus-Nimbus Model

Metaxas

Markopoulos

2008

Engineering Interactive Systems

View full text Add to dashboard Cite

show abstract

“…In [3] we present a way of formally modelling a range of virtual organisations in order to investigate information flow properties between the members. Combined with the work presented here, this would allow the decision maker to ask "what-if" questions based on possible future scenarios.…”

Section: Discussionmentioning

confidence: 99%

Formal Engineering of XACML Access Control Policies in VDM++

Bryans

Fitzgerald

2007

Formal Methods and Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is to help developers evaluate the consequences of policy decisions in complex situations where security requirements change and access decisions may depend on the external dynamic environment. The approach applies the model-oriented specification language from the Vienna Development Method (VDM++). An executable formal model of XACML access control is presented in VDM++. The use of the model to analyse and revise both policies and requirements on the environment is illustrated through an example. An approach to the practical problem of analysing access control in virtual organisations with dynamic membership and goals is proposed.

show abstract

“…Recent examples include: the use of the modeloriented formalism Z combined with the CSP process calculus to describe identity management problems [5]; a formal operational model for VO creation [6]; and 'infrastructure-agnostic' formal models of business VOs and Virtual Breeding Environments [7]. The Vienna Development Method (VDM) has been used to model dimensions of VOs with respect to information flow, including structure, membership, responsibility and provenance [8], consistent with (sub-)dimensions identified by [3]. However, the VDM models are only analysed by means of simulation [9], since proof support for VDM is not yet well supported by tools.…”

Section: Formal Modelling Of Virtual Organisationsmentioning

confidence: 99%

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

Bryans

Fitzgerald

McCutcheon

2011

Adaptation and Value Creating Collaborative Networks

Self Cite

View full text Add to dashboard Cite

Abstract. 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.

show abstract

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering

Cited by 12 publications

References 8 publications

‘Aware of What?’ A Formal Model of Awareness Systems That Extends the Focus-Nimbus Model

‘Aware of What?’ A Formal Model of Awareness Systems That Extends the Focus-Nimbus Model

Formal Engineering of XACML Access Control Policies in VDM++

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

Contact Info

Product

Resources

About