Handbook of logic in computer science (vol. 4)
The role of trust management in distributed systems security
Secure Internet programming
A logic for uncertain probabilities
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Event Structure Semantics for CCS and Related Languages
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Understanding Trust Management Systems
SP '01 Proceedings of the 2001 IEEE Symposium on Security and Privacy
Review on Computational Trust and Reputation Models
Artificial Intelligence Review
Probabilistic event structures and domains
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
A survey of trust and reputation systems for online service provision
Decision Support Systems
A Bayesian Model for Event-based Trust
Electronic Notes in Theoretical Computer Science (ENTCS)
Trust structures: Denotational and operational semantics
International Journal of Information Security
Using Trust for Secure Collaboration in Uncertain Environments
IEEE Pervasive Computing
Decentralized trust management
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
Implementation of the SECURE trust engine
iTrust'05 Proceedings of the Third international conference on Trust Management
A survey of trust in internet applications
IEEE Communications Surveys & Tutorials
Hi-index | 5.23 |
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.