Leonard LaPadula
詳細情報
- 組織
- MITRE
- 主な業績
- ベル=ラパデュラ・モデル(1973年)
姓がコンピューティング史上最も引用されたセキュリティモデルの名前の半分になっている数学者。
1970年代初頭のMITREで、LaPadulaとDavid Elliott Bellは、機密情報を安全に扱うとはコンピュータにとってどういうことかを形式化するよう米空軍から求められた。その答えであるベル=ラパデュラ・モデルは、二つの規則に要約できる。上位読み取り禁止(権限より上位の情報は読めない)と、下位書き込み禁止(プログラムが機密を下位レベルに漏らしてはならない)である。
1976年にMultics向けの解釈を加えた統合版を発表し、このモデルはオレンジブックの上位等級の基礎になった。扱うのは機密性だけで、完全性は規則を上下逆にしたKen BibaとDavid D. Clarkに委ねられた。