4328 search results - page 554 / 866 » A New Kind of Science |
169
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
131
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...
147
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...
170
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract: The quantum adversary method is one of the most versatile lower-bound methods for quantum algorithms. We show that all known variants of this method are equivalent: spect...
189
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
We introduce the notion of hierarchical group signatures. This is a proper generalization of group signatures, which allows multiple group managers organized in a tree with the si...