目次:
定義-バインダーとはどういう意味ですか？
バインダーは、オープンロジックベースのセキュリティ言語です。 セキュリティステートメントをエンコードし、分散論理プログラムのコンポーネントにして、分散システムでセキュリティステートメントを表現します。
セキュリティシステムはエンコードされており、スキーマに従う必要があります。 このスキーマとそれに付随する手順は、セキュリティ言語に定義できます。 証明書とポリシーはセキュリティ言語で記述され、その決定手順によって解釈されます。 従来のセキュリティシステムは、セキュリティステートメントをさまざまなデータ構造に格納します。 ユーザーのIDは、ユーザーのアクセス権と事前定義された決定手順にも一致します。
Techopediaはバインダーを説明します
バインダーは、単にシステムのセキュリティクリアランスを表現するための新しい、より良い方法です。 読みやすさの観点からは、より簡単で、より理にかなっています。 5つの重要なプロパティがあります。
1.バインダステートメントは、宣言型のスタンドアロン英語文に翻訳できます。
2.バインダープログラムは、プルーフの補題として機能するアプリケーション固有の述語を明示的に定義できます。
3.証明書には、新しい述語の定義と使用を含む任意のステートメントを含めることができます。
4.バインダーステートメントは、ACL、証明書、ポリシーなどに表示され、自由に相互運用できます。
5.バインダークエリは、多項式時間で決定できます。
Binderのステートメントはエクスポートでき、後で他のセキュリティシステムまたは同じシステムにインポートできます。 インポートされたステートメントは自動的に引用されます。 また、ローカルコンテキストは、インポートされたコンテキストと簡単に区別できます。
バインダーには、信頼の委任（例：管理者がUser1を信頼する）、委任（例：管理者がユーザーのIDをUser1に委任する）、および代弁者（たとえば、User1 speaks-for Admin）があります。 これらは英語のステートメントで、バインダーセキュリティ言語に変換できます。
