Knowledge in a distributed environment
Knowledge in a distributed environment
The knowledge complexity of interactive proof-systems
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Introduction to mathematical logic; (3rd ed.)
Introduction to mathematical logic; (3rd ed.)
Security Mechanisms in High-Level Network Protocols
ACM Computing Surveys (CSUR)
A method for obtaining digital signatures and public-key cryptosystems
Communications of the ACM
Using encryption for authentication in large networks of computers
Communications of the ACM
The DASH Project: Issues in the Design of Very Large Distributed
The DASH Project: Issues in the Design of Very Large Distributed
A deduction model of belief and its logics
A deduction model of belief and its logics
Distributed name servers: naming and caching in large distributed computing environments
Distributed name servers: naming and caching in large distributed computing environments
A first order theory of planning, knowledge, and action
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
What awareness isn't: a sentential view of implicit and explicit belief
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
A guide to the modal logics of knowledge and belief: preliminary draft
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A temporalised belief logic for specifying the dynamics of trust for multi-agent systems
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
| Hi-index | 0.00 |
Computing systems are evolving into large distributed systems interconnecting organizations and even countries. The relationships among these organizations are characterized by the need for competition and cooperation without a common trusted agent. This paper presents an axiomatic theory of trust in distributed systems. The paper introduces basic notions about developing a logic or a theory, and shows that modal logics of belief, with their Kripke style possible-worlds semantics, are appropriate for basing a theory of trust on. We review a modal logic of belief, and construct a model of the distributed system so that the logic is sound and complete with respect to the model. Any sentences in the logic may then be added to the logic as axioms, and these axiomatic sentences are considered as trust specifications. We present methods to map a formal trust specification on to mechanisms for its implementation in the distributed system. Trust and security are closely related in distributed systems, Security specification and verification methods can be integrated into our theory of trust. We analyze the trusts required in public key based secure communication. A theory of trust has many applications such as, design of authentication servers based on trust relationships, and design of mechanisms that are tolerant to failures in trusts.