Loading article…
オブジェクト機能モデルは、コンピュータセキュリティモデルの一つです。機能とは、特定のオブジェクトに対して一つまたは複数の操作を実行する譲渡可能な権利を指します。機能は以下の組み合わせによって取得できます。
このセキュリティモデルは、参照情報を偽造できないことを前提としている。
オブジェクト機能モデルでは、すべての計算は上記の規則に従って実行されます。
オブジェクト指向プログラミングの動機となる利点、例えばカプセル化や情報隠蔽、モジュール型プログラミング（モジュール性）、関心の分離などは、能力ベースプログラミングにおける最小権限や権限分離といったセキュリティ目標に対応している。 [ 1 ] [ 2 ]
オブジェクト能力モデルは、 1966年にジャック・デニスとアール・C・ヴァン・ホーンによって初めて提案された。 [ 3 ]
オブジェクト指向プログラミング言語の中には（JavaScript（批判）、Java、C#など）、上記ルールとは異なる方法でリソースにアクセスする手段を提供するものがあり、例えば以下のようなものがあります。
このような絶対的な権限の行使は、オブジェクト機能モデルの条件に違反する。CajaとJoe-Eは、それぞれJavaScriptとJavaの派生言語であり、これらの抜け穴を排除するための制約を課している。
コンピュータ科学者のE・ディーン・トリブルは、スマートコントラクトにおいて、IDベースのアクセス制御は、オブジェクト機能モデルと比較して、動的に変更される権限をうまくサポートしていないと述べた。彼は、OCAPモデルを、車の所有権を与えることなく、バレットパーキング係に車の鍵を渡すことに例えた。[ 4 ]
オブジェクト機能システムの構造的特性は、コード設計におけるモジュール性を促進し、コード実装における信頼性の高いカプセル化を保証する。
これらの構造的特性は、オブジェクト機能プログラムまたはオペレーティングシステムのセキュリティ特性の分析を容易にします。これらの特性、特に情報フロー特性は、オブジェクトの動作を決定するコードに関する知識や分析とは無関係に、オブジェクト参照と接続性のレベルで分析できます。その結果、未知の、場合によっては悪意のあるコードを含む新しいオブジェクトが存在する場合でも、これらのセキュリティ特性を確立し、維持することができます。
これらの構造的特性は、既存オブジェクトへのアクセスを規定する2つのルールに由来する。
これら2つのルールの結果として、オブジェクトは既存の参照連鎖を通してのみ、他のオブジェクトへの参照を取得できる。つまり、「接続性だけが接続性を生む」のである。
これまで能力システムとして説明されてきたほぼすべての歴史的システムは、オブジェクト能力システムとしてモデル化できます。ただし、POSIX能力など、能力という用語の使用法の中には、このモデルと矛盾するものもあります。
KeyKOS、EROS、Integrity（オペレーティングシステム）、CapROS、Coyotos、seL4、OKL4、Fiasco.OCは、オブジェクト機能モデルを実装したセキュアなオペレーティングシステムです。