2227 search results - page 361 / 446 » Reversibility and Models for Concurrency |
PKC
2007
Springer
14 years 4 months ago
2007
Springer
We provide a positive result about the Fiat-Shamir (FS) transform in the standard model, showing how to use it to convert threemove identification protocols into two-tier signatur...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
Phylospaces is a novel framework for reconstructing evolutionary trees in tuple space, a distributed shared memory that permits processes to communicate and coordinate with each o...
SRDS
2006
IEEE
14 years 4 months ago
2006
IEEE
Determinism is mandatory for replicating distributed objects with strict consistency guarantees. Multithreaded execution of method invocations is a source of nondeterminism, but h...
CSFW
2005
IEEE
14 years 3 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
DSN
2005
IEEE
14 years 3 months ago
2005
IEEE
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...