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
2003
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.)
Int. Conference on Software Engineering and Formal Methods, SEFM 2003..
.
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.
Text
fmtSEFMoff.pdf
- Other
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: 14 Mar 2024 07:08
Export record
Contributors
Author:
M. Carbone
Author:
M. Nielsen
Author:
V. Sassone
Editor:
A. Cerone
Editor:
P. Lindsay
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