4340 search results - page 835 / 868 » Formal Methods and Cryptography |
183
click to vote
WPES
2006
ACM
15 years 10 months ago
2006
ACM
Many applications of mix networks such as anonymous Web browsing require relationship anonymity: it should be hard for the attacker to determine who is communicating with whom. Co...
124
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
— Batteries are non-ideal energy sources – minimizing the energy consumption of a battery-powered system is not equivalent to maximizing its battery life. We propose an alterna...
133
Voted
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
— One of the most notable challenges threatening the successful deployment of sensor systems is privacy. Although many privacy-related issues can be addressed by security mechani...
139
click to vote
ICEIS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
MEMOCODE
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...