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

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.

[1]  Yao-Hua Tan,et al.  Trust and Deception in Virtual Societies , 2001, Springer Netherlands.

[2]  Magnus Boman,et al.  Multi-Agent System Engineering , 1999, Lecture Notes in Computer Science.

[3]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[4]  Yde Venema,et al.  Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages , 2002, Theory and Practice of Logic Programming.

[5]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[6]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[7]  Andrew J. I. Jones,et al.  Deontic Logic and Contrary-to-Duties , 2002 .

[8]  C. Castelfranchi,et al.  Social Trust : A Cognitive Approach , 2000 .

[9]  Babak Sadighi Firozabadi,et al.  On the characterisation of a trusting agent - aspects of a formal approach , 2001 .

[10]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[11]  Catholijn M. Jonker,et al.  Formal Analysis of Models for the Dynamics of Trust Based on Experiences , 1999, MAAMAW.

[12]  Emiliano Lorini,et al.  Introducing Attempt in a Modal Logic of Intentional Action , 2006, JELIA.

[13]  Emiliano Lorini,et al.  A logic of intention and attempt , 2008, Synthese.

[14]  Robert Demolombe,et al.  Reasoning About Trust: A Formal Logical Framework , 2004, iTrust.

[15]  Mehdi Dastani,et al.  Inferring Trust , 2004, CLIMA.

[16]  Robert Demolombe.  To trust information sources: a proposal for a modal logical framework , 2001 .

[17]  Emiliano Lorini,et al.  From Binary Trust to Graded Trust in Information Sources: A Logical Perspective , 2008, AAMAS-TRUST.

[18]  Nicholas R. Jennings,et al.  An integrated trust and reputation model for open multi-agent systems , 2006, Autonomous Agents and Multi-Agent Systems.

[19]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[20]  John-Jules Ch. Meyer,et al.  A Logical Approach to the Dynamics of Commitments , 1999, Artif. Intell..

[21]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[22]  Frédéric Cuppens,et al.  A Deontic Logic for Reasoning about Confidentiality , 1996, DEON.

[23]  Churn-Jung Liau,et al.  Belief, information acquisition, and trust in multi-agent systems--A modal logic formulation , 2003, Artif. Intell..

[24]  Rino Falcone,et al.  Principles of trust for MAS: cognitive anatomy, social importance, and quantification , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).