2421 search results - page 195 / 485 » Message from the Editor-in-Chief |
107
click to vote
CONCUR
2005
Springer
15 years 7 months ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
120
click to vote
EDCC
2005
Springer
15 years 7 months ago
2005
Springer
The fair exchange problem is key to trading electronic items in systems of mutually untrusted parties. In modern variants of such systems, each party is equipped with a security mo...
IFIP
2005
Springer
15 years 7 months ago
2005
Springer
Mobile phones have become a very important tool for personal communication. It is therefore of great importance that forensic investigators have possibilities to extract evidence ...
109
click to vote
IPSN
2005
Springer
15 years 7 months ago
2005
Springer
— Many inference problems that arise in sensor networks require the computation of a global conclusion that is consistent with local information known to each node. A large class...
100
click to vote
PADS
2004
ACM
15 years 7 months ago
2004
ACM
An efficient cancellation scheme is essential to the performance of Time Warp simulations. The pitfalls of rollback echoes, chasing hazards and cascading rollbacks can be identiï¬...