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
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;
Conference_Titel :
Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on
Conference_Location :
Brisbane, Queensland, Australia
Print_ISBN :
0-7695-1949-0
DOI :
10.1109/SEFM.2003.1236207
