[論文レビュー] Nonmonotonic Trust Management for P2P Applications

Marcin Czenko, Huu Tam Tran+4 more|arXiv (Cornell University)|Oct 21, 2005

Access Control and Trust被引用数 12

ひとこと要約

本稿では、ピアツーピア（P2P）バーチャルコミュニティにおける非単調なアクセス制御をサポートするために、『文脈内での否定』を導入したロールベース信頼管理（RT）言語の拡張版であるRT$_{\mkern-3.0mu\ominus}$を提案する。論理プログラムのWell-founded意味論を統合することにより、文脈的条件に基づいてアクセスを取消しまたは拒否する信頼ポリシーの推論が可能となり、単調性を要件としないスケーラブルで安全なコミュニティ主導のアクセス意思決定が実現される。

ABSTRACT

Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management languages such as the family of Role Based Trust Management languages (RT). To solve this problem we propose RT-, which adds a restricted form of negation to the standard RT language, thus admitting a controlled form of non-monotonicity. The semantics of RT- is discussed and presented in terms of the well-founded semantics for Logic Programs. Finally we discuss how chain discovery can be accomplished for RT-.

研究の動機と目的

• 単調な信頼管理言語の制限を解消し、非単調な推論を必要とするコミュニティベースのアクセス制御意思決定をモデル化すること。
• バーチャルコミュニティが、資格の蓄積による承認だけでなく、文脈的条件に基づくアクセス拒否や取消しを表現できるようにすること。
• 論理プログラムのWell-founded意味論を用いて、非単調な信頼ポリシーの意味論を形式化すること。
• 発行者追跡可能な資格環境において、RT$_{\mkern-3.0mu\ominus}$をサポートするようにチェーン発見アルゴリズムを拡張すること。
• Freeband I-SHAREプロジェクトのようなP2Pシステムにおける分散型アクセス制御ポリシーの指定と実装の実用的基盤を提供すること。

提案手法

• RT$_0$信頼管理言語に、文脈的知識に基づく条件付きアクセス拒否を可能にする『文脈内での否定』の新しいステートメントタイプを拡張する。
• RT$_{\mkern-3.0mu\ominus}$ポリシーを一般論理プログラムにマッピングし、非単調な推論にWell-founded意味論を活用する。
• Well-founded意味論を用いてデフォルトの否定を処理し、矛盾するまたは不完全な情報が存在する状況でも一貫性があり安定した信頼意思決定を保証する。
• RT$_0$用に既存のチェーン発見アルゴリズムを改変し、資格パス検証中に文脈に依存する否定を統合する。
• XSB、DLV、Smodelsなどのシステムを用いたモデルチェックによるポリシーの完全性と所属意思決定の評価を実施する。
• 発行者追跡可能な資格を仮定することで、チェーン発見中にすべての関連資格を収集・検証可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 P2Pバーチャルコミュニティにおいて、信頼管理言語を用いて非単調なアクセス制御ポリシーを効果的にモデル化できるか。
• RQ2 論理ベースの信頼管理システムに文脈内での否定を形式的に統合する方法は何か。その際、一貫性やスケーラビリティを損なわないか。
• RQ3 文脈的否定を含む信頼ポリシーにおいて、健全かつ完全な推論を支える意味論は何か。
• RQ4 既存のチェーン発見アルゴリズムは、RT$_{\mkern-3.0mu\ominus}$における非単調ポリシーをサポートするために拡張可能か。
• RQ5 分散型でコミュニティ主導のP2Pシステムにおける信頼管理において、非単調性の実用的影響は何か。

主な発見

• RT$_{\mkern-3.0mu\ominus}$言語は、制御された形での文脈内での否定を導入することにより、バーチャルコミュニティにおける非単調なアクセス制御ポリシーを効果的にサポートする。
• Well-founded意味論は、文脈に基づいてアクセスを取消しまたは拒否する信頼意思決定について、安定的かつよく理解された基礎を提供する。
• RT$_{\mkern-3.0mu\ominus}$ポリシーを論理プログラムに変換することで、XSB や DLV などの標準的な論理実行エンジンを用いたポリシー評価が可能になる。
• 発行者追跡可能な資格を仮定すれば、RT$_{\mkern-3.0mu\ominus}$におけるチェーン発見は実現可能であり、既存のRT$_0$アルゴリズムに文脈に敏感な否定処理を拡張することで実現される。
• 本フレームワークは、Freeband I-SHAREプロジェクトにおいてバーチャルコミュニティポリシーの指定と実装に成功裏に適用され、実用的妥当性が示された。
• 本稿では、発行者追跡不可能な状況における未解決の課題を特定し、安全なロール定義および通信効率の良いチェーン発見に関する今後の研究を提案している。