801 search results - page 1 / 161 » The Use of Formal Methods in the Analysis of Trust (Position... |
ITRUST
2004
Springer
13 years 10 months ago
2004
Springer
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
DEON
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
FLAIRS
2000
13 years 6 months ago
2000
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
CIA
2007
Springer
13 years 11 months ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
RECSYS
2009
ACM
13 years 11 months ago
2009
ACM
With the advent of online social networks, the trust-based approach to recommendation has emerged which exploits the trust network among users and makes recommendations based on t...