Vis enkel innførsel

dc.contributor.authorHerrmann, Peternb_NO
dc.contributor.authorKraemer, Frank Alexandernb_NO
dc.date.accessioned2014-12-19T14:11:27Z
dc.date.available2014-12-19T14:11:27Z
dc.date.created2007-12-17nb_NO
dc.date.issued2007nb_NO
dc.identifier123086nb_NO
dc.identifier.issn1571-5736nb_NO
dc.identifier.urihttp://hdl.handle.net/11250/261460
dc.description.abstractWe 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 transforma- tions, 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 examplenb_NO
dc.languageengnb_NO
dc.publisherNorges teknisk-naturvitenskapelige universitet, Fakultet for informasjonsteknologi, matematikk og elektroteknikk, Institutt for telematikknb_NO
dc.titleDesign of Trusted Systems with Reusable Collaboration Modelsnb_NO
dc.typeJournal articlenb_NO
dc.typePeer reviewednb_NO
dc.source.pagenumber317-332nb_NO
dc.source.volume238nb_NO
dc.source.journalIFIP International Federation for Information Processing Seriesnb_NO
dc.contributor.departmentNorges teknisk-naturvitenskapelige universitet, Fakultet for informasjonsteknologi, matematikk og elektroteknikk, Institutt for telematikknb_NO


Tilhørende fil(er)

Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel