Transfer of Trust in Event-based Reputation Systems

TY - JOUR

T1 - Transfer of Trust in Event-based Reputation Systems

AU - Nielsen, Mogens

AU - Krukow, Karl

PY - 2012

Y1 - 2012

N2 - In the Global Computing scenario, trust-based systems have been proposed and studied as an alternative to traditional security mechanisms. A promising line of research concerns the so-called reputation-based computational trust. The approach here is that trust in a computing agent is defined in terms of evidence of future behaviour based on interactions in the past with its environment. We have previously argued how concepts and models from concurrency theory can answer some fundamental challenges in the representation of such interaction behaviour over time, using event structures as our choice of model from concurrency theory. In this paper, we continue this line of research, addressing the problem on how to transfer trust from one behavioural context to another. Our proposed frameworks build on morphisms between event structures, and we prove some generic results guaranteeing formal properties of transfers in the frameworks.

AB - In the Global Computing scenario, trust-based systems have been proposed and studied as an alternative to traditional security mechanisms. A promising line of research concerns the so-called reputation-based computational trust. The approach here is that trust in a computing agent is defined in terms of evidence of future behaviour based on interactions in the past with its environment. We have previously argued how concepts and models from concurrency theory can answer some fundamental challenges in the representation of such interaction behaviour over time, using event structures as our choice of model from concurrency theory. In this paper, we continue this line of research, addressing the problem on how to transfer trust from one behavioural context to another. Our proposed frameworks build on morphisms between event structures, and we prove some generic results guaranteeing formal properties of transfers in the frameworks.

U2 - 10.1016/j.tcs.2011.12.044,

DO - 10.1016/j.tcs.2011.12.044,

M3 - Journal article

SN - 0304-3975

VL - 429

SP - 236

EP - 246

JO - Theoretical Computer Science

JF - Theoretical Computer Science

ER -