Abstract
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical model for trust aimed at global computing environments which, as opposed to many traditional trust management systems, supports the dynamics of reputation-based systems in the sense that trusting relationships are monitored and changes over time depending on the behaviour of the entities involved. The main contribution is the discovery that the notion of event structures, well studied e.g. in the theory of concurrency, can faithfully model the important concepts of observation and outcome of interactions. In this setting observations are events and an outcome of an interaction is a maximal set of consistent events describing what happened. We also touch upon the problem of transferring trust or behavioural information between contexts, and we propose a generalised definition of morphism of event structures as an information-transfer function.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Blaze, M., Feigenbaum, J., Ioannidis, J., Keromytis, A.: The role of trust management in distributed systems security. In: Vitek, J., Jensen, C.D. (eds.) Secure Internet Programming. LNCS, vol. 1603, Springer, Heidelberg (1999)
Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. In: Proc. IEEE Conference on Security and Privacy, Oakland (1996)
Blaze, M., Feigenbaum, J., Strauss, M.: Compliance checking in the policymaker trust management system. In: Hirschfeld, R. (ed.) FC 1998. LNCS, vol. 1465, pp. 254–274. Springer, Heidelberg (1998)
Blaze, M., Feigenbaum, J., Lacy, J.: KeyNote: Trust management for public-key infrastructure. In: Christianson, B., Crispo, B., Harbison, W.S., Roe, M. (eds.) Security Protocols 1998. LNCS, vol. 1550, pp. 59–63. Springer, Heidelberg (1999)
Weeks, S.: Understanding trust management systems. In: Proc. IEEE Symposium on Security and Privacy, Oakland (2001)
Ellison, C.M., Frantz, B., Lampson, B., Rivest, R., Thomsa, B., Ylonen, T.: SPKI certificate theory. RFC 2693 (1999)
Grandison, T., Sloman, M.: A survey of trust in internet application. IEEE Communications Surveys, Fourth Quarter (2000)
Carbone, M., Nielsen, M., Sassone, V.: A formal model for trust in dynamic networks. In: Proceedings from Software Engineering and Formal Methods, SEFM 2003, IEEE Computer Society Press, Los Alamitos (2003)
Krukow, K., Nielsen, M.: Towards a formal notion of trust. In: Proceedings of the 5th ACM SIGPLAN international conference on Principles and Practice of Declarative Programming (2003)
Shmatikov, V., Talcott, C.: Reputation-based trust management. Journal of Computer Security (selected papers of WITS 2003) (2004)
Mui, L., Mohtashemi, M.: Notions of reputation in multi-agent systems: A review. In: Trust, Reputation, and Security: Theories and Practice, AAMAS 2002 International Workshop, Bologna, Italy, July 15 (2002) Selected and Invited Papers
Jøsang, A., Ismail, R.: The beta reputation system. In: Proceedings of the 15th Bled Conference on Electronic Commerce, Bled. (2002)
Cahill, V., et al.: Using trust for secure collaboration in uncertain environments. IEEE Pervasive Computing 2, 52–61 (2003)
Cahill, V., Signeur, J.M.: Secure Environments for Collaboration among Ubiquitous Roaming Entities (2003), http://secure.dsg.cs.tcd.ie
Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains. Theoretical Computer Science 13, 85–108 (1981)
Winskel, G., Nielsen, M.: Models for concurrency. Handbook of Logic in Computer Science 4, 1–148 (1995)
Jøsang, A.: A logic for uncertain probabilities. Fuzziness and Knowledge-Based Systems 9(3) (2001)
Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Nielsen, M., Krukow, K. (2004). On the Formal Modelling of Trust in Reputation-Based Systems. In: Karhumäki, J., Maurer, H., Păun, G., Rozenberg, G. (eds) Theory Is Forever. Lecture Notes in Computer Science, vol 3113. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27812-2_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-27812-2_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22393-1
Online ISBN: 978-3-540-27812-2
eBook Packages: Springer Book Archive