[論文レビュー] A Combinatorial Enumeration Approach for Measuring Anonymity

Jean‐Charles Grégoire, Angèle M. Hamel|ArXiv.org|Feb 10, 2009

Internet Traffic Analysis and Secure E-voting参考文献 13被引用数 5

ひとこと要約

本稿では、送信者と受信者のメッセージ量を考慮した組合せ的枚数計数に基づくメトリクスを提案し、しきい値ミックスネットワークにおける匿名性の度合いを測定する。メッセージが送信者と受信者間でどのように配分されるかの方法の数を数えることで、対称関数と母関数を用いた正確で効率的な計算が可能となり、結果として送信者が増加するほど匿名性が向上する傾向が示され、システム構成にわたって主に線形的挙動を示すことが分かった。

ABSTRACT

A recent paper of Edman et al. has taken a combinatorial approach to measuring the anonymity of a threshold mix anonymous communications system. Their paper looks at ways of matching individual messages sent to individual messages received, irrespective of user, and determines a measure of the anonymity provided by the system. Here we extend this approach to include in the calculation information about how many messages were sent or received by a user and we define a new metric that can be computed exactly and efficiently using classical and elegant techniques from combinatorial enumeration.

研究の動機と目的

• しきい値ミックス匿名通信システムにおける匿名性の度合いを測る、正確でシステム全体にわたるメトリクスの開発。
• 従来のメッセージレベルのマッチングに焦点を当てた組合せ的アプローチを拡張し、送信者および受信者のメッセージ量制約を組み込むこと。
• 古典的な組合せ的枚数計数技術を用いて、計算的に効率的かつ正確に匿名性レベルを算出する方法の提供。
• 送信者および受信者のメッセージ分布パターンが匿名性に与える影響を分析し、特にシステムのスケーラビリティおよび構造的傾向の観点から考察する。
• ユーザーが匿名性を保つまたは向上させるためにメッセージ送信戦略を立てるための実用的ガイダンスの支援。

提案手法

• メトリクスは、有効なメッセージ配分構成の数（COUNT）の対数を、n! の対数で割った比として定義される。ここで n! は最大匿名性状態（1人の送信者と1人の受信者に1メッセージずつ）を表す。
• 本稿では、メッセージ配分をボールと urn の問題としてモデル化する：n 個の区別可能なメッセージ（送信者によって区別）が ℓ 個の受信者に配分され、各受信者 j は r_j 個のメッセージを受け取り、送信者 i は s_i 個のメッセージを送信する。
• 対称関数と母関数を用いて COUNT を正確かつ効率的に計算し、ブルートフォースによる枚数計数を回避する。
• 送信者および受信者のメッセージ数が与えられた整数行列の行和と列和を持つ数の計算という、組合せ論の既知の結果を活用する。
• 符号計算ツール（例：Maple）を用いてメトリクスを計算し、多様なシステム構成にわたって高速な評価が可能になる。
• 本アプローチにより、送信者および受信者のメッセージ量の分割に応じた匿名性の傾向を体系的に分析できる。

実験結果

リサーチクエスチョン

• RQ1 送信者数を増加させつつ、各送信者のメッセージ量を固定した場合、匿名性の度合いはどのように変化するか？
• RQ2 1人の送信者がメッセージ量を独占する場合、全体の匿名性メトリクスにどのような影響を与えるか？
• RQ3 システムサイズ（メッセージ数）が増加する際、特に送信者対受信者のメッセージ比を維持した場合、メトリクスはどのように振る舞うか？
• RQ4 追加のメッセージを特定の受信者に送信することで、脱匿名化のリスクが増加するか減少するかを予測するために、このメトリクスを用いることができるか？
• RQ5 メトリクスは、さまざまなメッセージ配分パターンにおいてどの程度線形的挙動を示し、どこで逸脱が生じるか？

主な発見

• 匿名性メトリクスは、n 人の送信者が全員1メッセージずつ送信し、n 人の受信者が全員1メッセージずつ受信する状況で最大値を示し、n! 通りのメッセージペアリングが可能になる。
• 1人の送信者が全 n メッセージを送信し、1人の受信者が全 n メッセージを受け取る状況では、メトリクス値が 0 に低下し、匿名性ゼロを示す。
• n=7 の場合、送信者および受信者の両方で最も匿名性が高い構成（1,1,1,1,1,1,1）ではメトリクス値が 1.0 に達するが、最も匿名性が低い構成（7）では 0.0 になる。
• メトリクスは一貫した傾向を示す：一般的に送信者が増加するほど匿名性が向上するが、これは受信者の配分にも依存する。
• 1人の送信者のメッセージ数が他の全送信者の合計を上回る場合、n=7 の場合、係数（COUNT）は 13,327 に安定するが、メトリクス値は支配的になるにつれて減少を続ける。
• 中間的な構成では、主に線形的挙動を示すが、完全匿名または完全に匿名でない極端な状況付近でのみ逸脱が観察される。