A framework for Incorporating trust into formal systems development

  • Authors:

  • Fredrik Degerlund;Kaisa Sere

  • Affiliations:

  • Turku Centre for Computer Science & ÅÅbo Akademi University, Dept. of Information Technologies, Åbo, Finland;Åbo Akademi University, Dept. of Information Technologies, Åbo, Finland

  • Venue:
  • ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Formal methods constitute a means of developing realiable and correctly behaving software based on a specification. In scenarios where information technology is used as a foundation to enable human communication, this is, however, not always enough. Successful interaction between humans often depends on the concept of trust, which is different from program correctness. In this paper, we present a framework for integratig trust into a fomal development process, allowing for the construction of formally correct programs for communication, embracing trust as a central concept. We present a coordination language for use with action systems, taking a modular approach of separating trust aspects from other functionality. We also believe that our work can be adapted to modellin other aspects beside trust. Throughout the paper, we employ a case study as a testbed for our concepts.