3821 search results - page 687 / 765 » A Security Model for Aglets |
165
click to vote
PODC
2003
ACM
15 years 10 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...
189
click to vote
CSFW
2002
IEEE
15 years 10 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
149
click to vote
SDMW
2009
Springer
15 years 9 months ago
2009
Springer
A “friend finder” is a Location Based Service (LBS) that informs users about the presence of participants in a geographical area. In particular, one of the functionalities of ...
180
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
This paper attempts to articulate the general role of infrastructure for multi-agent systems (MAS), and why infrastructure is a particularly critical issue if we are to increase th...
208
click to vote
EUROCRYPT
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This paper investigates a novel computational problem, namely the Composite Residuosity Class Problem, and its applications to public-key cryptography. We propose a new t...