Among the various human factors impinging upon making a decision in an uncertain environment, risk and trust are surely crucial ones. Several models for trust have been proposed in the literature but few explicitly take risk into account. This paper analyses the relationship between the two concepts by first looking at how a decision is made to enter into a transaction based on the risk information. We then draw a model of the invested fraction of the capital function of a decision surface. We finally define a model of trust composed of a reliability trust as the probability of transaction success and a decision trust derived from the decision surface.

Abstract. Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for modern computing systems. Security has been studied thoroughly for many years, particularly the sub-domain of cryptography. The use of computing science formal methods has facilitated cryptanalysis of security protocols. At the moment, trust is intensively studied, but not well understood. Here we present our approach based on formal methods for modelling and validating the notion of trust in computing science.

Abstract. As a central issue of modern e-services, trust has to be tackled early during the development phases. We present and compare in this chapter various works and methodologies that contribute to this aspect. A Holistic Trust Design Methodology that combines useful aspects encountered in the existing works is then described in detail. It is based on a systematic analysis of scenarios that describe the typical use of the e-service by using a Trust Analysis Grid. The Trust Analysis Grid is composed of eleven Trust Issue Categories that cover the various aspects of the concept of trust and is used to guide the design of the computing system by analyzing and refining the scenarios, and providing hints at the suitability of technologies for the scenario. We illustrate this methodology on several examples.

Abstract. We present an analysis Trust Analysis Methodology for finding trust issues within pervasive computing systems. It is based on a systematic analysis of scenarios that describe the typical use of the pervasive system by using a Trust Analysis Grid. The Trust Analysis Grid is composed of eleven Trust Issue Categories that cover the various aspects of the concept of trust in pervasive computing systems. The Trust Analysis Grid is then used to guide the design of the pervasive computing system.

No abstract

Abstract. As a central issue of modern e-services, trust has to be tackled early during the development phases. We present and compare in this chapter various works and methodologies that contribute to this aspect. A Holistic Trust Design Methodology that combines useful aspects encountered in the existing works is then described in detail. It is based on a systematic analysis of scenarios that describe the typical use of the e-service by using a Trust Analysis Grid. The Trust Analysis Grid is composed of eleven Trust Issue Categories that cover the various aspects of the concept of trust and is used to guide the design of the computing system by analyzing and refining the scenarios, and providing hints at the suitability of technologies for the scenario. We illustrate this methodology on several examples.