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(故障定义)
核实状态
已核实(条目级);成稿时核对定理编号与表述