Skip to search formSkip to main contentSkip to account menu

Analysing the Relationship between Risk and Trust

A model of trust is defined composed of a reliability trust as the probability of transaction success and a decision trust derived from the decision surface by first looking at how a decision is made to enter into a transaction based on the risk information.
View via Publisher (opens in a new tab)

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…
View via Publisher (opens in a new tab)

Holistic Trust Design of E-Services

A methodology that builds upon the current understanding of trust and improves on the existing trust design methodologies is presented, which provides a holistic analysis framework to help design trustworthy e-services where the user is the focus of attention.
View via Publisher (opens in a new tab)

A Tree of Trust rooted in Extended Trusted Computing

A pedestal scaffold type having a base member, a telescopic mast mounted vertically on the base member and a work cage mounted in cantilever manner from the upper end of the mast. The majority of the…

Proceedings of the 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03)

The aim of this workshop is to foster a research community in verification in and beyond the United Kingdom of Great Britain through encouraging communication among researchers. Specific objectives…

ProB User Manual

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

This work presents an approach based on formal methods for modelling and validating the notion of trust in computing science and shows how this concept has changed over the years and is now well understood.
View via Publisher (opens in a new tab)

Towards a Trust Analysis Framework for Pervasive Computing Scenarios

An analysis of scenarios from the healthcare domain helps to define an analysis grid, where the human and technical aspects of trust are considered, which could form the basis of a generalised trust analysis framework to support the design, procurement and use of pervasive computing.

Algebraic Specification of Operator-Based Multimedia Scenarios

This paper focuses on the temporal model of multimedia presentations, and presents useful properties of multimedia terms derived from this semantics based on causal relations between temporal points.
View via Publisher (opens in a new tab)

TAO: Temporal Algebraic Operators for modeling multimedia presentations

TAO is presented: a language based on Temporal Algebraic Operators for composing complex multimedia presentations that relies on a well-defined semantics with an underlying temporal model based on intervals and causal relations between time points.
View via Publisher (opens in a new tab)
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)