Trust and Norms in the Context of Computer Security: A Logical Formalization

  • Emiliano Lorini
  • Robert Demolombe
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5076)

Abstract

In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of trust is presented. We distinguish trust in the trustee’s action from trust in the trustee’s disposition (motivational or normative disposition); positive trust from negative trust. A part of the paper is devoted to the formalization of security properties and to the analysis of their relationships with trust.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Åqvist, L.: Deontic logic. In: Gabbay, D.M., Geunther, F. (eds.) Handbook of Philosophical Logic. Kluwer Academic Publishers, Dordrecht (2002)Google Scholar
  2. 2.
    Bratman, M.: Intentions, plans, and practical reason. Harvard University Press (1987)Google Scholar
  3. 3.
    Carmo, J., Jones, A.: Deontic Logic and Contrary-to-Duties. In: Gabbay, D. (ed.) Handbook of Philosphical Logic (Rev. Edition), Reidel (to appear)Google Scholar
  4. 4.
    Castelfranchi, C., Falcone, R.: Principles of trust for MAS: Cognitive anatomy, social importance, and quantification. In: Proc. of the Third International Conference on Multiagent Systems (ICMAS 1998), pp. 72–79 (1998)Google Scholar
  5. 5.
    Castelfranchi, C., Falcone, R.: Social trust: A cognitive approach. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 55–90. Kluwer, Dordrecht (2001)Google Scholar
  6. 6.
    Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Cuppens, F., Demolombe, R.: A Deontic Logic for Reasoning about Confidentiality. In: Proc. of Third International Workshop on Deontic Logic in Computer Science (DEON 1996), pp. 72–79 (1996)Google Scholar
  8. 8.
    Dastani, M., Herzig, A., Hulstijn, J., van der Torre, L.: Inferring Trust. In: Leite, J.A., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 144–160. Springer, Heidelberg (2005)Google Scholar
  9. 9.
    Demolombe, R.: Reasoning about trust: a formal logical framework. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol. 2995, pp. 291–303. Springer, Heidelberg (2004)Google Scholar
  10. 10.
    Demolombe, R.: To trust information sources: a proposal for a modal logical framework. In: Castelfranchi, C., Tan, Y.-H. (eds.) Trust and Deception in Virtual Societies, pp. 111–124. Kluwer, Dordrecht (2001)Google Scholar
  11. 11.
    Demolombe, R., Liau, C.-J.: A logic of graded trust and belief fusion. In: Proc. of Fourth Workshop on Deception, Fraud and Trust in Agent Societies, pp. 13–25 (2001)Google Scholar
  12. 12.
    Demolombe, R., Lorini, E.: A logical account of trust in information sources. In: Proc. of the Eleventh International Workshop on Trust in Agent Societies (to appear)Google Scholar
  13. 13.
    Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)MATHGoogle Scholar
  14. 14.
    Huynh, T.G., Jennings, N.R., Shadbolt, N.R.: An integrated trust and reputation model for open multi-agent systems. Journal of Autonomous Agent and Multi-Agent Systems 13, 119–154 (2006)CrossRefGoogle Scholar
  15. 15.
    Jones, A.J., Sergot, M.: A formal characterisation of institutionalised power. Journal of the Interest Group in Pure and Applied Logics 4(3) (1996)Google Scholar
  16. 16.
    Jones, A.J.I., Firozabadi, B.S.: On the characterization of a trusting agent: Aspects of a formal approach. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 55–90. Kluwer, Dordrecht (2001)Google Scholar
  17. 17.
    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)CrossRefGoogle Scholar
  18. 18.
    Liau, C.J.: Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation. Artificial Intelligence 149, 31–60 (2003)MATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese (to appear)Google Scholar
  20. 20.
    Lorini, E., Herzig, A., Castelfranchi, C.: Introducing attempt in a modal logic of intentional action. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 280–292. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  21. 21.
    Meyer, J.-J.C., van der Hoek, W., van Linder, B.: A logical approach to the dynamics of commitments. Artificial Intelligence 113(1-2), 1–40 (1999)MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Emiliano Lorini
    • 1
  • Robert Demolombe
    • 1
  1. 1.Institut de Recherche en Informatique de Toulouse (IRIT) France

Personalised recommendations