タイプの強制

情報技術分野におけるタイプ強制( TE )の概念は、コンピュータ システムへのアクセスを規制するためのアクセス制御メカニズムです。TE を実装すると、任意アクセス制御(DAC) よりも強制アクセス制御(MAC)が優先されます。アクセス許可は、添付されたセキュリティ コンテキストで定義されたルールに基づいて、オブジェクト (ファイル、レコード、メッセージなど) にアクセスするサブジェクト (プロセスなど) に最初に付与されます。ドメイン内のセキュリティ コンテキストは、ドメイン セキュリティ ポリシーによって定義されます。SELinux の Linux セキュリティ モジュール ( LSM )では、セキュリティ コンテキストは拡張属性です。タイプ強制の実装は MAC の前提条件であり、マルチレベル セキュリティ(MLS) またはそれを置き換えるマルチ カテゴリ セキュリティ(MCS) の前の最初のステップです。これは、ロールベース アクセス制御(RBAC)を補完するものです 。

タイプの強制は、プロセスの実行だけでなく、ドメインの遷移や認証スキームも制御できるように、オペレーティング システムに対するきめ細かい制御を意味します。これが、SELinux の場合のように、カーネル モジュールとして実装するのが最適です。タイプの強制を使用することは、FLASKアーキテクチャを実装する方法の 1 つです。

タイプ強制を使用すると、元のタイプ強制モデルではそのように示されていますが、ユーザーは Kerberos レルムに関連付けられる場合 ( Microsoft Active Directoryの場合) と、関連付けられない場合 ( SELinuxの場合) があります。特定のセキュリティ コンテキストに付与されるクリアランスに関するルール、または認証スキームに従ったオブジェクトに対するサブジェクトの権限を含む TE アクセス マトリックスを常に定義する必要があります。

実際には、タイプ強制は、サブジェクトのソース セキュリティ コンテキストからの一連のルールを、オブジェクトのターゲット セキュリティ コンテキストからの一連のルールに対して評価します。クリアランスの決定は、TE アクセス記述 (マトリックス) に応じて行われます。次に、DAC またはその他のアクセス制御メカニズム (MLS / MCS など) が適用されます。

型の強制は、1980年代後半にSecure Ada Targetアーキテクチャに導入され、完全な実装はLogical Coprocessing Kernel (LOCK)システムで開発されました。^{[1] [2]} Sidewinderインターネットファイアウォールは、型の強制を組み込んだUnixのカスタムバージョンに実装されました。

Trusted MACH システムでは、 ドメイン タイプ強制と呼ばれるバリアントが開発されました。

オリジナルの型強制モデルでは、サブジェクトとオブジェクトにラベルを付ける必要があるとされていました。サブジェクトには「ドメイン ラベル」、オブジェクトには「型ラベル」です。この実装メカニズムは、複雑な構造と暗黙の関係を置き換えることで、 FLASKアーキテクチャによって改善されました。また、オリジナルの TE アクセス マトリックスは、格子ベース、履歴ベース、環境ベース、ポリシー ロジックなどの他の構造に拡張されました。これは、さまざまなオペレーティング システムによる TE の実装の問題です。SELinux では、TE 実装は内部的に TE ドメインと TE タイプを区別しません。ラベルやマトリックスなどの詳細な実装の側面を指定することは、特に「ドメイン」や「タイプ」という、より一般的で広く受け入れられている他の意味を持つ用語を使用することは、TE のオリジナル モデルの弱点であると考えるべきです。

• PA Loscocco、SD Smalley、PA Muckelbauer、RC Taylor、SJ Turner、JF Farrell。「障害の必然性：現代のコンピューティング環境におけるセキュリティの誤った想定」。第21回全国情報システムセキュリティ会議の議事録、303～314ページ、1998年10月。[1]
• L. Badger、DF Sterne、DL Sherman、KM Walker、SA Haghighat、「ドメインおよびタイプ強制UNIXプロトタイプ」、第5回USENIX UNIXセキュリティシンポジウムの議事録、1995年6月。[2]
• WE Boebert および RY Kain、「階層的整合性ポリシーの実用的な代替手段」、第 8 回 National Computer Security Conference の議事録、1985 年、18 ページ。
• LOCK - 信頼できるコンピューティングシステム