[論文レビュー] Strong Anonymity for Mesh Messaging

Neil Perry, Bruce Spang+2 more|arXiv (Cornell University)|Jul 8, 2022

Opportunistic and Delay-Tolerant Networks被引用数 4

ひとこと要約

本論文は、インターネット遮断状況下におけるデモ参加者を想定し、ブロードキャスト暗号とカバーデータトラフィックを用いて送信者、受信者、タイミング、メッセージパターンを含むすべてのメタデータを隠匿する、安全で匿名性の高いメッシュメッセージングシステムを提案する。実用的条件下で3,000人以上のユーザーをスケーラブルにサポート可能であり、国家レベルの敵対者に対しても強力な匿名性を実現する。これは、トラフィック相関やメタデータ漏洩を防ぐための新規な脅威モデルとプロトコル設計により達成される。

ABSTRACT

Messaging systems built on mesh networks consisting of smartphones communicating over Bluetooth have been used by protesters around the world after governments have disrupted Internet connectivity. Unfortunately, existing systems have been shown to be insecure; most concerningly by not adequately hiding metadata. This is further complicated by the fact that wireless communication such as Bluetooth is inherently a broadcasting medium. In this paper, we present a new threat model that captures the security requirements of protesters in this setting. We then provide a solution that satisfies the required security properties, hides all relevant metadata, scales to moderately sized protests, and supports group messaging. This is achieved by broadcasting all messages in a way that limits the overhead of duplicate messages, ensuring that ciphertexts do not leak metadata, and limiting what can be learned by observing user behavior. We also build a model of our system and numerically evaluate it to support our claims and analyze how many users it supports. Finally, we discuss further extensions that remove potential bottlenecks in scaling and support substantially more users.

研究の動機と目的

• 国家レベルの監視に直面するデモ参加者を想定し、敵対的かつインターネットが遮断された環境下における匿名メッシュメッセージングの形式的セキュリティモデルを定義すること。
• Bridgefy や FireChat などの既存のメッシュメッセージングアプリに見られるように、トラフィック解析やデアノニマス化攻撃に対して脆弱であるという、メタデータ保護の重大な欠如を是正すること。
• 送信者、受信者、タイミング、通信パターンを含むエンドツーエンドの機密性と強力な匿名性を保証するシステムの設計および実装。
• 群衆密度やメッセージ頻度を含む実用的デモ状況を想定し、モデル化と数値解析を通じてシステムのスケーラビリティを評価すること。
• プライバシー保証を維持したまま、より大規模なデモをサポートできる拡張手法の検討。

提案手法

• 国家レベルの敵対者によるネットワーク全体の可視化および一部ユーザーの制御を含む、インターネット遮断状況下のデモにおける敵対者の能力を捉える新規な脅威モデルを設計する。
• ブロードキャストベースのメッセージ配信を用いることで、暗号化されたメッセージが送信者、受信者、タイミング情報を露呈しないようにし、メタデータ漏洩を防止する。
• 実際のメッセージパターンをマスキングし、敵がユーザー行動を観測する際にトラフィック相関攻撃を防ぐために、カバーデータ生成を実装する。
• 過去の研究に基づく修正版ブロードキャストアルゴリズムを適用し、すべてのデバイスがメッセージを受け取る一方で、重複メッセージのオーバーヘッドを最小限に抑える。
• 対称鍵暗号と、前方機密性を保証し長期的な追跡を防ぐ鍵管理方式を採用する。
• ユーザー数、群衆密度、メッセージレートの変動を想定し、メッセージ配信遅延とスループットをシミュレートするためのシステムモデルを構築する。

実験結果

リサーチクエスチョン

• RQ1 インターネット遮断環境下で国家レベルの敵対者に対し強力な匿名性を提供できるメッシュメッセージングシステムを設計できるか？
• RQ2 中央集権的インfraストラクチャのないBluetoothベースのメッシュネットワークにおいて、送信者、受信者、タイミング、メッセージ頻度といったメタデータをどのように隠匿できるか？
• RQ3 実用的デモ状況下で、低遅延と強力な匿名性を維持しながら、最大何人のユーザーがメッシュメッセージングシステムに参加できるか？
• RQ4 カバーデータとブロードキャストメカニズムをどのように組み合わせれば、過剰なネットワークオーバーヘッドを伴わずにトラフィック相関攻撃を防げるか？
• RQ5 プライバシー保証を維持したまま、数万単位のユーザーをサポートできるようにするためのアーキテクチャ的拡張手法は何か？

主な発見

• 悲観的な群衆密度仮定のもとで、200人程度のユーザーが30秒ごとにメッセージを送信する状況でも、メッセージ配信が数秒以内に完了する。
• より現実的な条件では、1分間に1回以上のメッセージ送信が可能なユーザー数が3,000人を超え、配信時間は2分未満に収まる。
• ブロードキャストベースの暗号化とカバーデータにより、送信者、受信者、メッセージタイミング、通信パターンを含むすべてのメタデータを隠匿することで、強力な匿名性を達成する。
• 数値モデル化により、中規模なデモにおいてもシステムが効果的にスケーリング可能であることが確認され、メッセージ損失が少なく、予測可能な配信遅延が得られる。
• トラフィック相関がカバーデータとブロードキャストによるオブスカレーションによって防止されるため、ネットワーク全体の可視性を持つ受動的敵対者に対してもプロトコルは耐性を示す。
• クライQUEベースのブロードキャストなどの拡張手法により、システムは数万単位のユーザーをサポート可能になるが、匿名性やユーザーの友人関係の上限に妥協が生じる可能性がある。