66 search results - page 6 / 14 » On the Formal Modelling of Trust in Reputation-Based Systems |
ENTCS
2010
14 years 11 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
96
Voted
ESORICS
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
100
click to vote
CCGRID
2002
IEEE
15 years 4 months ago
2002
IEEE
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...
AAAI
2007
15 years 1 months ago
2007
In this paper we develop a novel probabilistic model of computational trust that allows agents to exchange and combine reputation reports over heterogeneous, correlated multi-dime...
SPW
2000
Springer
15 years 3 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...