[論文レビュー] Systemization of Pluggable Transports for Censorship Resistance

Sheharbano Khattak, Laurent Simon+1 more|arXiv (Cornell University)|Dec 23, 2014

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

ひとこと要約

本論文は、包括的な検閲攻撃モデル、抽象的LCモデル、階層的評価スタックを導入することで、検閲耐性リンク脱出システム（LCs）の評価および設計のための体系的フレームワークを提案する。41の既存LCを体系化し、主要な耐性パターンを同定し、再利用可能で柔軟かつ分析可能なリンク隠蔽方式を可能にするモジュラーで合成可能なフレームワーク「Tweakable Transports」を導入することで、進化する検閲技術に対する耐性を向上させる。

ABSTRACT

An increasing number of countries implement Internet censorship at different scales and for a variety of reasons. In particular, the link between the censored client and entry point to the uncensored network is a frequent target of censorship due to the ease with which a nation-state censor can control it. A number of censorship resistance systems have been developed thus far to help circumvent blocking on this link, which we refer to as link circumvention systems (LCs). The variety and profusion of attack vectors available to a censor has led to an arms race, leading to a dramatic speed of evolution of LCs. Despite their inherent complexity and the breadth of work in this area, there is no systematic way to evaluate link circumvention systems and compare them against each other. In this paper, we (i) sketch an attack model to comprehensively explore a censor's capabilities, (ii) present an abstract model of a LC, a system that helps a censored client communicate with a server over the Internet while resisting censorship, (iii) describe an evaluation stack that underscores a layered approach to evaluate LCs, and (iv) systemize and evaluate existing censorship resistance systems that provide link circumvention. We highlight open challenges in the evaluation and development of LCs and discuss possible mitigations.

研究の動機と目的

• 急速に進化する検閲技術の前において、リンク脱出システム（LCs）の体系的評価手法の欠如に対処すること。
• 現実世界の能力と検閲ベクトルを捉える、検閲者視点からの包括的攻撃モデルの構築。
• 多様なシステムを共通のフレームワークで統一し、比較・分析を可能にするLCの抽象的モデルの定義。
• 複数の耐性次元にわたるLCの体系的評価を可能にする階層的評価スタックの設計。
• 保守性と適応性を向上させるために、再利用可能で柔軟かつ分析可能なリンク隠蔽方式を可能にするモジュラーで合成可能なフレームワーク「Tweakable Transports」の提案。

提案手法

• ディープパケットインスペクション、トラフィックファングプリント、接続ブロッキング、タイミング解析などの能力を捉える詳細な検閲攻撃モデルの開発。
• 実装詳細を抽象化し、検閲耐性チャネルを通じて検閲対象のクライアントとサーバーの間でやり取りが行われるという、LCの抽象的モデルの定義。
• 暗号化、プロトコルスプーフィング、タイミング隠蔽などの階層的コンponentsを備えた評価スタックの導入により、特定の検閲技術に対する耐性を評価。
• 41の既存LCに対する体系的サーベイを実施し、それぞれを攻撃モデルおよび評価スタックにマッピングすることで、耐性パターンとギャップを同定。
• 再利用可能で交換可能なモジュールをサポートする、コンポーネントベースのフレームワークとしてのTweakable Transportsの提案。
• Tweakable Transportsスタックを介して手動および自動生成を可能にし、コード再利用を促進し、開発コストを低減。

実験結果

リサーチクエスチョン

• RQ1 国家レベルの検閲者がインターネット上でのクライアント・サーバー間通信を妨害するための全能力は何か？
• RQ2 多様な実装を統一するための、リンク脱出システムの一般的な抽象的モデルはどのように定義できるか？
• RQ3 進化する検閲技術に対するLCの耐性を包括的に評価するための階層的評価基準は何か？
• RQ4 LCをモジュラーで合成可能かつ再利用可能に設計すると同時に、強い検閲耐性を維持するにはどうすればよいか？
• RQ5 LCの評価および開発における主な未解決課題は何か。そして、それらは体系的設計によってどのように軽減できるか？

主な発見

• 著者らは41の異なるリンク脱出システムを同定し、設計アプローチや耐性戦略に顕著な多様性が存在することを明らかにした。
• 多くの既存システムはタイミングおよびパケット長ファングプリントに対して耐性を欠いており、高度なトラフィック解析に対して脆弱である。
• 評価スタックは、プロトコルスプーフィング、暗号化、トラフィックシェーピングなど、複数の脅威ベクトルにわたるLCの体系的比較を成功裏に可能にした。
• Tweakable Transportsは、コンポーネントの再利用により、LCの構成可能なバージョンの数を指数関数的に増加させ、検閲者がすべての変種をブロックするコストを高めた。
• モジュラーなフレームワークにより、コード再利用と標準化されたコンポーネントインターフェースのおかげで開発時間の短縮と信頼性の向上が達成された。
• 本研究では、現在のシステムがしばしば整合しない脅威モデルを仮定しており、これが無効または過剰設計された防御を生じさせていることが判明した。