# Correction to "Fast Byzantine Consensus"

Jean-Philippe
Lorenzo , IEEE

Pages: p. 400

In the above-cited article, which appeared in the IEEE Transactions on Dependable and Secure Computing, vol. 3, no. 3, pp. 202-215, July-September 2006, some information appeared incorrectly. We apologize for the error. Please see the list of corrections:

• In the Introduction, safety properties appeared incorrectly.
• CS1. Only a single value that has been proposed may be chosen.
• CS2. Only a value that has been proposed may be chosen.
• CS2. Only a single value may be chosen.
• CS3. Only a chosen value may be learned by a correct learner.
• They should have appeared as shown below:
• CS1. Only a value that has been proposed may be chosen.
• CS2. Only a single value may be chosen.
• CS3. Only a chosen value may be learned by a correct learner.
• On p. 209, right column, line 5: " $n>5f+1$ " should have been " $n<5f+1$ ."
• On p. 212, in the proof of Lemma 9, " $|F|\leq \sqcup$ " should have been " $|F|\leq t$ ."