可靠的计算机系统必须具备处理故障组件的能力，以防它们向系统中的其它组件传递冲突信息。这种情况可以抽象地 表述成一群拜占庭军队的将军各自带领部队驻扎在一座敌城周围。在只能依靠信使进行通信的情况下，这些将军必须 就同一个作战计划达成共识。然而，他们中间可能会出现一个或多个叛将，试图混淆其他人的视听。问题在于如何找 到一种算法来确保忠将之间达成共识。经论证，如果仅使用口信交流，当且仅当忠将人数超过 2/3 时，此问题有解； 因此，一位叛将可以迷惑两位忠将。如果使用无法伪造的书信交流，无论将军总人数和潜在叛将的人数是多少，这个 问题都有解。本文最后讨论了如何应用这些解法构建可靠的计算机系统