785 search results - page 82 / 157 » A Calculus for Trust Management |
147
click to vote
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...
144
click to vote
DIM
2009
ACM
16 years 2 days ago
2009
ACM
Reputation forms an important part of how we come to trust people in face-to-face interactions, and thus situations involving trust online have come to realize that reputation is ...
140
Voted
IFIP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...
140
click to vote
MKM
2009
Springer
16 years 3 days ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...
161
click to vote
POLICY
2004
Springer
15 years 11 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...