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.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (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 |
| ISBNs: | 0769519490 |
| 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 |
| Item ID: | 262294 |
| Date Deposited: | 11 Apr 2006 |
| Last Modified: | 10 Mar 2012 10:53 |
| Contributors: | Carbone, M. (Author) Nielsen, M. (Author) Sassone, V. (Author) Cerone, A. (Editor) Lindsay, P. (Editor) |
| Date: | 2003 |
| Additional Information: | A preliminary version appears as Technical Report BRICS RS-03-4, Aarhus University |
| Status: | Published |
| Publisher: | IEEE Computer Society |
| Further Information: | Google Scholar |
| ISI Citation Count: | 1 |
| URI: | http://eprints.soton.ac.uk/id/eprint/262294 |
Actions (login required)
 |
View Item |
