DocumentCode
2136525
Title
A formal model for trust in dynamic networks
Author
Carbone, Marco ; Nielsen, Mogens ; Sassone, Vladimiro
Author_Institution
Basic Res. In Comput. Sci., Aarhus Univ., Denmark
fYear
2003
fDate
22-27 Sept. 2003
Firstpage
54
Lastpage
61
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.
Keywords
Internet; security of data; domain theory; dynamic network; formal model; global computing; trust formation; trust management; trust propagation; trust structures; Buildings; Collaboration; Computer science; Distributed computing; Engines; Humans; Information security; Intelligent networks; Internet; Pervasive computing;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on
Conference_Location
Brisbane, Queensland, Australia
Print_ISBN
0-7695-1949-0
Type
conf
DOI
10.1109/SEFM.2003.1236207
Filename
1236207
Link To Document