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.
Proceedings of Ieee International Conference on Software Engineering and Formal Methods (sefm '03), 2003, 2004, p. 181-192
Main Research Area:
Workshop on Formal Aspects in Security and Trust (FAST'03), 2004