Leslie Lamport、Robert Shostak、Marshall Pease 1982 年论文:问题表述、忠诚将军条件(IC1/IC2)、口头消息 n≥3f+1 与签名消息 n≥f+1 的结果,是全册现代侧的奠基文献。
Lamport, Shostak, Pease, The Byzantine Generals Problem, ACM TOPLAS 1982(B 级:同行评议经典论文)。
书1 ch04(形式化)、ch05/06(OM/SM)、书2 ch04(故障定义)
已核实(条目级);成稿时核对定理编号与表述