An Intensional Functional Model of Trust

Abstract

Computers have been in use for many years to build high confidence systems in safety-critical domains such as aircraft control, space transportation and exploration, and nuclear power plant management. However, due to the recent rush in developing ubiquitous and pervasive computing applications and a demand from across the world to access information from shared sources, the mosaic of computing ecosystem has undergone a radical change. It is in this context that computing has to be made trustworthy. To build and manage a trustworthy system it is necessary to blend and harmonize socially acceptable and technically feasible norms of trust. This in turn requires a generic formal model in which trust categories can be specified, trusted communication can be enabled, and trustworthy transactions can be specified and reasoned about. In this paper we introduce a formal intensional model of trust and suggest how it can be integrated into a trust management system.

Dependable Context-Sensitive Services in Cyber Physical Systems

“…Contexts, formalized as above, become first class objects by themselves, and can be subject to formal laws which in turn leads to a verifiable toolkit implementation. In our previous works [1], [20] we have shown the importance of context formalism in enforcing privacy and defining trust. The semantics of contexts and context calculus developed in [21] can be used to calculate contexts and evaluate context expressions.…”

“…1 Depending on the domain need it is possible that additional dimensions are also used for contexts. We use in this paper the formal aspects of context developed by Wan [20], [21], and include context as first class architectural element. Contexts, formalized as above, become first class objects by themselves, and can be subject to formal laws which in turn leads to a verifiable toolkit implementation.…”

“…The dynamics of awareness is realized by context calculus computations, context type conversion, and contextual reasoning [20]. Building on context-awareness we define context-sensitive accountability model in Section III, and introduce policies for trustworthy transactions.…”

“…In Section II we define awareness for CPS nodes using a formal definition of contexts, due to Wan [20]. The dynamics of awareness is realized by context calculus computations, context type conversion, and contextual reasoning [20].…”

Analogical Trust Reasoning

“…Context related information has been represented as Context-aware domains [20], Intensional Programming [31], Multi-dimensional goals [8], Clustering [25], and Ontologies [29].…”