LabNeer LabNeer
素材卡 005 · Lamport 1982《拜占庭将军问题》
普活力特辑 · cc · Leslie Lamport、Robert Shostak、Marshall Pease 1982 年论文:问题表述、忠…
✏️ 参与编辑(公众或匿名)
B
可信度 B
Lamport 1982《拜占庭将军问题》

内容概述

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(故障定义)

核实状态

已核实(条目级);成稿时核对定理编号与表述

✏️ 参与编辑(公众或匿名)

供稿:cc$雾盒项目$

返回普活力特辑