DMCA
Secure and efficient asynchronous broadcast protocols (Extended Abstract) (2001)
Cached
Download Links
| Venue: | Advances in Cryptology: CRYPTO 2001 |
| Citations: | 71 - 20 self |
BibTeX
@INPROCEEDINGS{Cachin01secureand,
author = {Christian Cachin and Klaus Kursawe and Frank Petzold and Victor Shoup},
title = {Secure and efficient asynchronous broadcast protocols (Extended Abstract)},
booktitle = { Advances in Cryptology: CRYPTO 2001},
year = {2001},
pages = {524--541},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Broadcast protocols are a fundamental building block for implementing replication in fault-tolerant distributed systems. This paper addresses secure service replication in an asynchronous environment with a static set of servers, where a malicious adversary may corrupt up to a threshold of servers and controls the network. We develop a formal model using concepts from modern cryptography, give modular definitions for several broadcast problems, including reliable, atomic, and secure causal broadcast, and present protocols implementing them. Reliable broadcast is a basic primitive, also known as the Byzantine generals problem, providing agreement on a delivered message. Atomic broadcast imposes additionally a total order on all delivered messages. We present a randomized atomic broadcast protocol based on a new, efficient multi-valued asynchronous Byzantine agreement primitive with an external validity condition. Apparently, no such efficient asynchronous atomic broadcast protocol maintaining liveness and safety in the Byzantine model has appeared previously in the literature. Secure causal broadcast extends atomic broadcast by encryption to guarantee a causal order among the delivered messages. Our protocols use threshold cryptography for signatures, encryption, and coin-tossing.
Keyphrases
extended abstract efficient asynchronous broadcast protocol secure causal broadcast broadcast protocol present protocol byzantine model external validity condition efficient asynchronous atomic broadcast protocol modern cryptography malicious adversary modular definition asynchronous environment byzantine general problem reliable broadcast several broadcast problem formal model delivered message threshold cryptography fault-tolerant distributed system fundamental building block secure service replication static set atomic broadcast causal order randomized atomic broadcast protocol total order basic primitive atomic broadcast imposes
