# Leslie Lamport ## 概要 Leslie Lamport は分散システムの理論的基盤を築いた計算機科学者である。Robert Shostak・Marshall Pease とともにビザンチン将軍問題を定式化し、n 人の将軍のうち t 人が裏切り者であっても合意が成立するのは n ≥ 3t+1 のときに限られることを証明した。Anderson は本章冒頭のエピグラフに Lamport の言葉「分散システムとは、あなたが存在すら知らなかったコンピュータの故障によって自分のコンピュータが使えなくなるようなシステムである」を引用し、章全体の導入として位置づけている。また、絶対時刻を放棄し事象 A が事象 B より先に起きたかどうかだけに着目する Lamport time(論理時刻)の考案者でもある。(Source: [[@2020__Wiley__Security Engineering 3e - Chapter 7 Distributed Systems]] エピグラフ, §7.2.6, §7.3.1.1) ## 関連 - 概念: [[分散システム障害]](ビザンチン故障モデル) / [[分散コンセンサス]] / [[ハイブリッド論理クロック]] / [[ID生成器と論理クロック]](Lamport 論理時刻) / [[TLA+]] - 章: [[@2020__Wiley__Security Engineering 3e - Chapter 7 Distributed Systems]] ## 出典 - Ross Anderson, *Security Engineering: A Guide to Building Dependable Distributed Systems*, 3rd Edition, John Wiley & Sons, 2020, Chapter 7.