Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

DEON
2008
Springer

favoriteEmaildiscussreport

109views Automated Reasoning» more DEON 2008»

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

13 years 6 months ago

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

Download www.irit.fr

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.

Emiliano Lorini, Robert Demolombe

Real-time Traffic

Automated Reasoning | DEON 2008 | Negative Trust | Positive Trust | Trust |

claim paper

Related Content

» Application of Fuzzy Logic in Federated Trust Management for Pervasive Computing

» Trust Dynamics for Collaborative Global Computing

» A calculus of trust and its application to PKI and identity management

» A Logical Account of NGSCB

» ApplicationOriented Trust in Distributed Computing

» Stalesafe security properties for groupbased secure information sharing

» TrustNeighborhoods Visualizing Trust in Distributed File Sharing Systems

» Specifying distributed trust management in LolliMon

» Development of a security methodology for cooperative information systems the cooPSIS proj...

Post Info
More Details (n/a)

Added	19 Oct 2010
Updated	19 Oct 2010
Type	Conference
Year	2008
Where	DEON
Authors	Emiliano Lorini, Robert Demolombe

Comments (0)