A formal model for trust in dynamic networks
- 1 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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
This publication has 9 references indexed in Scilit:
- Towards practical automated trust negotiationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A logical language for expressing authorizationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Understanding trust management systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A LOGIC FOR UNCERTAIN PROBABILITIESInternational Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2001
- A survey of trust in internet applicationsIEEE Communications Surveys & Tutorials, 2000
- Proof-carrying authenticationPublished by Association for Computing Machinery (ACM) ,1999
- REFEREE: trust management for Web applicationsComputer Networks and ISDN Systems, 1997
- Domains for denotational semanticsPublished by Springer Nature ,1982
- Some Basic Concepts of ActionPublished by Springer Nature ,1974