Stéphane Lo Presti

Analysing the Relationship between Risk and Trust

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.

A trust analysis methodology for pervasive computing systems

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.

The Use of Formal Methods in the Analysis of Trust (Position Paper)

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.

TAO: Temporal Algebraic Operators for modeling multimedia presentations

This paper presents TAO: a language based on Temporal Algebraic Operators for composing complex multimedia presentations. Unlike traditional approaches used to specify multimedia presentations, TAO relies on a well-defined semantics with an underlying temporal model based on intervals and causal relations between time points. We derive some properties of TAO presentations and show how to execute TAO presentations on an execution engine: a TAO presentation is compiled into a set of instructions interpreted by the execution engine.