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. © 2008 International Federation for Information Processing.
CITATION STYLE
Wan, K., & Alagar, V. (2008). An intensional functional model of trust. In IFIP International Federation for Information Processing (Vol. 263, pp. 69–85). https://doi.org/10.1007/978-0-387-09428-1_5
Mendeley helps you to discover research relevant for your work.