33 search results - page 3 / 7 » pet 2004 |
AUIC
2004
IEEE
14 years 1 months ago
2004
IEEE
In the not too distant future Intelligent Creatures (robots, smart devices, smart vehicles, smart buildings, etc) will share the everyday living environment of human beings. It is...
PET
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
PET
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Although the number of online privacy policies is increasing, it remains difficult for Internet users to understand them, let alone to compare policies across sites or i...
PET
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Golle et al recently introduced universal re-encryption, defining it as re-encryption by a player who does not know the key used for the original encryption, but which s...
PET
2004
Springer
14 years 3 months ago
2004
Springer
The variety of possible anonymity network topologies has spurred much debate in recent years. In a synchronous batching design, each batch of messages enters the mix network togeth...