5255 search results - page 521 / 1051 » Formal Methods for Privacy |
183
click to vote
SPW
2001
Springer
15 years 11 months ago
2001
Springer
In the IPv6 world, the IP protocol itself, i.e., IPv6, is used for a number of functions that currently fall beyond the scope of the IPv4 protocol. These functions include address ...
161
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
The performance of RSA hardware is primarily determined by an efficient implementation of the long integer modular arithmetic and the ability to utilize the Chinese Remainder The...
166
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper describes a method of exchanging tacit community knowledge using talking-virtualized-egos. We aim at sharing tacit knowledge in a community, for this purpose, we propos...
164
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Many applied problems in domains such as military operations, manufacturing, and logistics require that entities change location under certain constraints. These problems are trad...
217
click to vote
ASIACRYPT
2000
Springer
15 years 11 months ago
2000
Springer
An authenticated encryption scheme is a symmetric encryption scheme whose goal is to provide both privacy and integrity. We consider two possible notions of authenticity for such ...