This paper is part of my Ph.D. thesis Engineering Reactive Systems
Part I: 1 Introduction / 2 Reactive Systems / 3 Background / 4 SPACE Method / 5 Survey / 6 Discussion / 7 Future Work
Part II: Paper 1 / Paper 2 / Paper 3 / Paper 4 / Paper 5 / Paper 6 / Paper 7 / Paper 8 ———–


Design of Trusted Systems with Reusable Collaboration Models

Peter Herrmann and Frank Alexander Kraemer

Trust Management. Proceedings of the Joint iTrust and PST Conferences on Privacy, Trust Management and Security (IFIPTM 2007), IFIP International Federation for Information Processing, 2007

Abstract. We describe the application of our collaboration-oriented software engineering approach to the design of trust-aware systems. In this model-based technique, a specification does not describe a physical system component but the collaboration between various components which achieve system functions by cooperation. A system model is composed from these collaboration specifications. By a set of transformations, executable code can be automatically generated. As a modeling language, we use UML 2.0 collaborations and activities, for which we defined a semantics based on temporal logic. Thus, formal refinement and property proofs can be provided by applying model checkers as well. We consider our approach to be well-suited for the development of trust-based systems since the trust relations between different parties can be nicely modeled by the collaborations. This ability facilitates also a tight cooperation between trust management and software engineering experts which are both needed to create scalable trust-aware applications. The engineering approach is introduced by means of an electronic auction system executing different policies which are guided by the mutual trust of its principals. While the approach can be used for various trust models, we apply Jøsang’s Subjective Logic in the example.

Copyright Springer-Verlag, 2007. The original publication is available here via The author's copy is available here via DIVA.

Author = {Peter Herrmann and Frank Alexander Kraemer},
Booktitle = {Trust Management},
Editor = {Sandro Etalle and Stephen Marsh},
Keywords = {ISIS},
Organization = {IFIP International Federation for Information Processing},
Pages = {317-332},
Publisher = {Springer},
Title = {{Design of Trusted Systems with Reusable Collaboration Models}},
Volume = {238},
Year = {2007}}