Towards a Formal Model of Privacy-Sensitive Dynamic Coalitions

Sebastian Bab
(TU Berlin)
Nadim Sarrouh
(TU Berlin)

The concept of dynamic coalitions (also virtual organizations) describes the temporary interconnection of autonomous agents, who share information or resources in order to achieve a common goal. Through modern technologies these coalitions may form across company, organization and system borders. Therefor questions of access control and security are of vital significance for the architectures supporting these coalitions.

In this paper, we present our first steps to reach a formal framework for modeling and verifying the design of privacy-sensitive dynamic coalition infrastructures and their processes. In order to do so we extend existing dynamic coalition modeling approaches with an access-control-concept, which manages access to information through policies. Furthermore we regard the processes underlying these coalitions and present first works in formalizing these processes. As a result of the present paper we illustrate the usefulness of the Abstract State Machine (ASM) method for this task. We demonstrate a formal treatment of privacy-sensitive dynamic coalitions by two example ASMs which model certain access control situations. A logical consideration of these ASMs can lead to a better understanding and a verification of the ASMs according to the aspired specification.

In Jeremy Bryans and John Fitzgerald: Proceedings Third Workshop on Formal Aspects of Virtual Organisations (FAVO 2011), Sao Paolo, Brazil, 18th October 2011, Electronic Proceedings in Theoretical Computer Science 83, pp. 10–21.
Published: 26th April 2012.

ArXived at: https://dx.doi.org/10.4204/EPTCS.83.2 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org