66 search results - page 11 / 14 » On the Formal Modelling of Trust in Reputation-Based Systems |
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
SP
1996
IEEE
15 years 3 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
112
click to vote
ESORICS
1994
Springer
15 years 3 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
CSFW
2010
IEEE
15 years 3 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
114
click to vote
ECMDAFA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...