A Formal Model for Trust in Dynamic Networks
Carbone, M., Nielsen, M. and Sassone, V. (2003) A Formal Model for Trust in Dynamic Networks. In, Int. Conference on Software Engineering and Formal Methods, SEFM 2003. IEEE Computer Society, 54-61.
![[file icon]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) | PDF 273Kb |
Description/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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | A preliminary version appears as Technical Report BRICS RS-03-4, Aarhus University |
| Uncontrolled Keywords: | trust in distributed systems, formal models, trust structures, partial orders, interval orders |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| ePrint ID: | 262294 |
| Deposited On: | 11 Apr 2006 |
| Last Modified: | 10 Mar 2012 10:53 |
| Further Information: | Google Scholar |
Associated Staff Only: edit my ePrint
