Sciweavers

4897 search results - page 24 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
SP
2009
IEEE
155views Security Privacy» more  SP 2009»
15 years 10 months ago
A Logic of Secure Systems and its Application to Trusted Computing
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...
149
Voted
CIA
2007
Springer
15 years 10 months ago
A Probabilistic Framework for Decentralized Management of Trust and Quality
In this paper, we propose a probabilistic framework targeting three important issues in the computation of quality and trust in decentralized systems. Specifically, our approach a...
Le-Hung Vu, Karl Aberer
IAT
2007
IEEE
15 years 10 months ago
Aiding Human Reliance Decision Making Using Computational Models of Trust
This paper involves a human-agent system in which there is an operator charged with a pattern recognition task, using an automated decision aid. The objective is to make this huma...
Peter-Paul van Maanen, Tomas Klos, Kees van Dongen
CN
2004
163views more  CN 2004»
15 years 3 months ago
Highly reliable trust establishment scheme in ad hoc networks
Securing ad hoc networks in a fully self-organized way is effective and light-weight, but fails to accomplish trust initialization in many trust deficient scenarios. To overcome t...
Kui Ren, Tieyan Li, Zhiguo Wan, Feng Bao, Robert H...
IC
2001
15 years 5 months ago
Trust-Based Facilitator for Agent-Based E-Commerce
- In this paper, we propose a facilitator which finds capable and trustworthy partners on behalf of client users, which helps users form and maintain e-partnerships for electronic ...
Chihiro Ono, Dai Kanemoto, Keesoo Kim, Boyd C. Pau...