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.
In REF Carbone et al. introduce a formal model of trust that focusses on the formation, evolution and propagation of trust.
A formal model for trust in dynamic networks
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings.
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings.
Computer Science