[論文レビュー] The KAA project: a trust policy point of view

Samuel Galice, Véronique Legrand+3 more|arXiv (Cornell University)|Jun 1, 2006

Opportunistic and Delay-Tolerant Networks被引用数 3

ひとこと要約

この論文は、ローカルレピュテーションとIDベース暗号技術に基づく、アバントネットワーク向けの分散型信頼管理フレームワークを提案する。非移転可能な共通の信頼できるノードの履歴に信頼を安全に束縛するための共通履歴抽出（CHE）プロトコルを導入し、中央集権的管理機関や推薦に依存せずに自律的かつ文脈に適応した信頼意思決定を可能にする。

ABSTRACT

In the context of ambient networks where each small device must trust its neighborhood rather than a fixed network, we propose in this paper a extit{trust management framework} inspired by known social patterns and based on the following statements: each mobile constructs itself a local level of trust what means that it does not accept recommendation by other peers, and the only relevant parameter, beyond some special cases discussed later, to evaluate the level of trust is the number of common trusted mobiles. These trusted mobiles are considered as entries in a local database called history for each device and we use identity-based cryptography to ensure strong security: history must be a non-tansferable object.

研究の動機と目的

• 固定インfraストラクチャが存在しない分散型アバントネットワークにおける信頼の課題に対処すること。特に、装置が固定されたインfraストラクチャに依存せずに、だれを信頼すべきかを自律的に決定できるようにすること。
• 外部の推薦に依存せず、特定の信頼できるノードの共通の数にのみ依存する、ローカル経験に基づく信頼管理システムを設計すること。
• IDベース暗号技術を用いて信頼履歴の安全性と完全性を保証し、改ざんや他のデバイスへの移転を防止すること。
• 意味的意味付けと動的閾値を組み込むことで、柔軟で文脈に適応した信頼ポリシーを実現すること。

提案手法

• 各モバイルデバイスにローカル履歴データベースを構築し、信頼できるピアとの接触履歴を記録する。
• 共通履歴抽出（CHE）プロトコルは、IDベース暗号技術を用いて、共通の信頼できるノードに基づき、移転不可能な信頼要素を生成・検証する。
• 2台のデバイス間の共通の信頼できるノードの数に基づいて信頼意思決定がなされ、承認のための設定可能な閾値が用いられる。
• 信頼行動の指定と検証を可能にするために、決定可能論理とπ計算を用いたポリシー言語と形式的モデルを統合する。
• 文脈に適応した意思決定と動的ポリシー適応を支援するために、履歴要素に意味的付加情報を追加する。
• 楕円曲線暗号を用いて、PDA やスマートフォンなどの小型デバイスに埋め込み可能な軽量なプロトコルとして設計されている。

実験結果

リサーチクエスチョン

• RQ1 中央集権的管理機関や固定インfraストラクチャが存在しない完全に分散型のアバントネットワークで、信頼をどのように確立できるか？
• RQ2 信頼履歴が安全で、真正で、かつデバイス間で移転できないようにするためのメカニズムは何か？
• RQ3 共通の信頼できるノードに基づくローカルレピュテーションを形式的に定式化し、安全で運用可能な信頼管理システムに統合するにはどうすればよいか？
• RQ4 意味的付加情報とポリシー言語は、柔軟で文脈に適応した信頼意思決定を実現するために果たす役割は何か？
• RQ5 信頼モデルを形式的に検証し、クローン攻撃やなりすまし攻撃に対して耐性を持つにはどうすればよいか？

主な発見

• CHEプロトコルは、IDベース暗号技術を用いて、移転不可能な信頼要素を安全に生成・検証でき、信頼履歴の偽造や移転を防げる。
• 外部の推薦に依存せず、共通の信頼できるノードの数に基づく自律的信頼意思決定が可能である。
• 履歴要素の意味的拡張を許容することで、文脈的要件に応じた柔軟な信頼ポリシーをサポートする。
• 決定可能論理とπ計算を用いた形式的モデリングにより、信頼行動の検証とセキュリティプロトコルへの統合が可能である。
• 軽量な設計であり、PDA やスマートフォンなどのリソース制限のあるデバイスへの展開に適している。
• 暗号的に保護された共有履歴に信頼を束縛することにより、中間者攻撃やノードの間接的介入のリスクを低減できる。