Abstract
A theory of trust for a given system is a set of rules that describes trust of agents in the system. In a certain logical framework, the theory is generally established based on the initial trust of agents in security mechanisms of the system. Such a theory provides a foundation for reasoning about agent beliefs as well as security properties that the system may satisfy. However, trust changes dynamically. When agents lose their trust or gain new trust, the theory established based on the initial trust of agents must be revised, otherwise it can no longer be used for any security purpose. This paper proposes a methodology for revising and managing dynamic theories of trust for agent based systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Grandison, T., Sloman, M.: A survey of trust in Internet applications. IEEE Communications Surveys and Tutorials (Fourth Quarter 2000)
Liu, C.: Logical foundations for reasoning about trust in secure digital communication. In: Stumptner, M., Corbett, D.R., Brooks, M. (eds.) Canadian AI 2001. LNCS (LNAI), vol. 2256, pp. 333–344. Springer, Heidelberg (2001)
Liu, C., Ozols, M.A.: Trust in secure communication systems – the concept, representations, and reasoning techniques. In: McKay, B., Slaney, J.K. (eds.) Canadian AI 2002. LNCS (LNAI), vol. 2557, pp. 60–70. Springer, Heidelberg (2002)
Jonker, C.M., Treur, J.: Formal analysis of models for the dynamics of trust based on experiences. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol. 1647, pp. 221–231. Springer, Heidelberg (1999)
Liu, C., Ozols, M.A., Orgun, M.: A temporalised belief logic for specifying the dynamics of trust for multi-agent systems. In: Maher, M.J. (ed.) ASIAN 2004. LNCS, vol. 3321, pp. 142–156. Springer, Heidelberg (2004)
Meyer, T.: Basic infobase change. In: Foo, N.Y. (ed.) AI 1999. LNCS (LNAI), vol. 1747, pp. 156–167. Springer, Heidelberg (1999)
Schulte, O.: Minimal belief change and pareto-optimality. In: Foo, N.Y. (ed.) AI 1999. LNCS (LNAI), vol. 1747, pp. 144–155. Springer, Heidelberg (1999)
Castelfranchi, C., Falcone, R.: Social trust: Cognitive anatomy, social importance, quantification, and dynamics. In: Proceedings of the First International Workshop on Trust, pp. 35–49 (1998)
Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. In: Proceedings of the 1993 IEEE Computer Society Symposium on research in Security and Privacy, pp. 164–173 (1993)
Alchourron, C.E., Gardenfors, P., Makinson, D.: On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic 50, 510–530 (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ma, J., Orgun, M. (2005). Managing Theories of Trust in Agent Based Systems. In: Yolum, p., Güngör, T., Gürgen, F., Özturan, C. (eds) Computer and Information Sciences - ISCIS 2005. ISCIS 2005. Lecture Notes in Computer Science, vol 3733. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11569596_47
Download citation
DOI: https://doi.org/10.1007/11569596_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29414-6
Online ISBN: 978-3-540-32085-2
eBook Packages: Computer ScienceComputer Science (R0)