3115 search results - page 555 / 623 » Synthesizing Secure Protocols |
153
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
Pervasive computing provides an attractive vision for the future of computing. Mobile computing devices such as mobile phones together with a land-based and wireless communication ...
143
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
164
click to vote
INDOCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
A solution for obtaining impartial random values in on-line gambling is presented in this paper. Unlike most previous proposals, our method does not require any TTP and allows e-ga...
145
click to vote
ICICS
2001
Springer
15 years 8 months ago
2001
Springer
Undeniable signature has been extensively researched after Chaum and Antwerpen first proposed the concept of this special digital signature ten years ago. Up to now, however, almo...
121
click to vote
INDOCRYPT
2001
Springer
15 years 8 months ago
2001
Springer
We propose a new anonymous fingerprinting scheme using Okamoto-Uchiyama cryptosystem[1]. In the previous schemes[2]-[4] the enciphering rate is so small that it seems very difficu...