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.
Citation:
Marco Carbone, Mogens Nielsen, Vladimiro Sassone, "A Formal Model for Trust in Dynamic Networks," sefm, pp.54, First International Conference on Software Engineering and Formal Methods (SEFM'03), 2003