375 search results - page 68 / 75 » What is Correctness of Security Protocols |
COREGRID
2007
Springer
14 years 1 months ago
2007
Springer
We investigate the problem of atomic commit in transactional database systems built on top of Distributed Hash Tables. Therefore we present a framework for DHTs to provide strong d...
FORMATS
2003
Springer
14 years 24 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
SIGCOMM
2004
ACM
14 years 1 months ago
2004
ACM
Internet end users and ISPs alike have little control over how packets are routed outside of their own AS, restricting their ability to achieve levels of performance, reliability,...
WISEC
2010
ACM
14 years 12 days ago
2010
ACM
Key management in wireless sensor networks does not only face typical, but also several new challenges. The scale, resource limitations, and new threats such as node capture and c...
ADC
2007
Springer
14 years 1 months ago
2007
Springer
Recently, privacy issues have become important in clustering analysis, especially when data is horizontally partitioned over several parties. Associative queries are the core retr...