Reference : Computer-Aided Decision-Making with Trust Relations and Trust Domains (Cryptographic ...
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/25955
Computer-Aided Decision-Making with Trust Relations and Trust Domains (Cryptographic Applications)
English
Kramer, Simon [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Goré, Rajeev [Australian National University, Australia]
Okamoto, Eiji [University of Tsukuba, Japan]
2012
Journal of Logic & Computation
Oxford University Press
Yes
International
0955-792X
[en] Access Control ; accountability ; applied modal logic ; CADM ; computational trust ; cryptographic-key management ; dependable multi-agent distributed systems ; PKI ; TTP ; Web of Trust
[en] We propose generic declarative definitions of individual and collective trust relations between interacting agents and agent collections, and trust domains of trust-related agents in distributed systems. Our definitions yield (1) (in)compatibility, implicational and transitivity results for trust relationships, including a Datalog-implementability result for their logical structure; (2) computational complexity results for deciding potential and actual trust relationships and membership in trust domains; (3) a positive (negative) compositionality result for strong (weak) trust domains; (4) a computational design pattern for building up strong trust domains; and (5) a negative scalability result for trust domains in general. We instantiate our generic trust concepts in five major cryptographic applications of trust, namely: Access Control, Trusted Third Parties, the Web of Trust, Public-Key Infrastructures and Identity-Based Cryptography. We also show that accountability induces trust. Our defining principle for weak and strong trust (domains) is (common) belief in and (common) knowledge of agent correctness, respectively.
http://hdl.handle.net/10993/25955
10.1093/logcom/exs013
http://logcom.oxfordjournals.org/content/early/2012/05/31/logcom.exs013.abstract

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
J Logic Computation-2014-Kramer-19-54.pdfPublisher postprint904.48 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.