The University of Southampton
University of Southampton Institutional Repository

A Formal Model for Trust in Dynamic Networks

A Formal Model for Trust in Dynamic Networks
A Formal Model for Trust in Dynamic Networks
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a novel notion of trust structures which, building on concepts from trust management and domain theory, feature at the same time a trust and an information partial order.
trust in distributed systems, formal models, trust structures, partial orders, interval orders
0-7695-1949-0
54-61
Carbone, M.
38344f31-0ef5-4dec-b7a0-6cef18aa2e7b
Nielsen, M.
d6a4a4bb-e50c-4cd3-9b70-b0e34cf59059
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Cerone, A.
22b55b0b-35d7-40cb-a80a-ec978762ca94
Lindsay, P.
7ba17cf5-3798-47a8-8d30-f3cb169375da
Carbone, M., Nielsen, M. and Sassone, V., (2003) A Formal Model for Trust in Dynamic Networks Cerone, A. and Lindsay, P. (eds.) At Int. Conference on Software Engineering and Formal Methods, SEFM 2003.. , pp. 54-61.

Carbone, M., Nielsen, M. and Sassone, V., (2003) A Formal Model for Trust in Dynamic Networks Cerone, A. and Lindsay, P. (eds.) At Int. Conference on Software Engineering and Formal Methods, SEFM 2003.. , pp. 54-61.

Record type: Conference or Workshop Item (Paper)

Abstract

We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a novel notion of trust structures which, building on concepts from trust management and domain theory, feature at the same time a trust and an information partial order.

PDF fmtSEFMoff.pdf - Other
Download (279kB)

More information

Published date: 2003
Additional Information: A preliminary version appears as Technical Report BRICS RS-03-4, Aarhus University
Venue - Dates: Int. Conference on Software Engineering and Formal Methods, SEFM 2003., 2003-01-01
Keywords: trust in distributed systems, formal models, trust structures, partial orders, interval orders
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 262294
URI: http://eprints.soton.ac.uk/id/eprint/262294
ISBN: 0-7695-1949-0
PURE UUID: 76c985ff-f471-4371-9cc8-63dd63a829ce

Catalogue record

Date deposited: 11 Apr 2006
Last modified: 18 Jul 2017 08:52

Export record

Contributors

Author: M. Carbone
Author: M. Nielsen
Author: V. Sassone
Editor: A. Cerone
Editor: P. Lindsay

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×