[論文レビュー] Encryption is Futile: Delay Attacks on High-Precision Clock Synchronization

Robert Annessi, Joachim Fabini+2 more|arXiv (Cornell University)|Nov 21, 2018

Network Time Synchronization Technologies参考文献 17被引用数 12

ひとこと要約

この論文は、PTPのような高精度時 clocks 同期プロトコルにおける遅延攻撃を暗号化だけでは防げないことを示している。パケットのタイミング、長さ、送信方向の統計的トラフィック分析により、暗号化済みトラフィックであっても選択的メッセージ遅延攻撃が可能である。主な発見は、信頼できないネットワークにおいて、高精度時 clocks 同期と遅延攻撃に対するセキュリティは、遅延補償メカニズムの根本的欠陥により、本質的に両立できないということである。

ABSTRACT

Clock synchronization has become essential to modern societies since many critical infrastructures depend on a precise notion of time. This paper analyzes security aspects of high-precision clock synchronization protocols, particularly their alleged protection against delay attacks when clock synchronization traffic is encrypted using standard network security protocols such as IPsec, MACsec, or TLS. We use the Precision Time Protocol (PTP), the most widely used protocol for high-precision clock synchronization, to demonstrate that statistical traffic analysis can identify properties that support selective message delay attacks even for encrypted traffic. We furthermore identify a fundamental conflict in secure clock synchronization between the need of deterministic traffic to improve precision and the need to obfuscate traffic in order to mitigate delay attacks. A theoretical analysis of clock synchronization protocols isolates the characteristics that make these protocols vulnerable to delay attacks and argues that such attacks cannot be prevented entirely but only be mitigated. Knowledge of the underlying communication network in terms of one-way delays and knowledge on physical constraints of these networks can help to compute guaranteed maximum bounds for slave clock offsets. These bounds are essential for detecting delay attacks and minimizing their impact. In the general case, however, the precision that can be guaranteed in adversarial settings is orders of magnitude lower than required for high-precision clock synchronization in critical infrastructures, which, therefore, must not rely on a precise notion of time when using untrusted networks.

研究の動機と目的

• IPsec、MACsec、またはTLSによるPTPトラフィックの暗号化が、高精度時 clocks 同期における遅延攻撃を防げるかどうかを調査すること。
• メッセージが暗号化されているがトラフィック特性が観測可能である場合、時 clocks 同期プロトコルが遅延攻撃に対してどの程度脆弱であるかを分析すること。
• 悪意あるネットワーク環境下で、高精度を達成することと遅延攻撃に対するセキュリティを両立させることの根本的不適合性を特定すること。
• トラフィックパディング、タイミングランダマイゼーション、OWDバウンズなどの対策を評価し、攻撃の影響を軽減すること。
• 敵対的遅延操作下での時 clocks オフセット精度の理論的限界を確立し、信頼できないネットワークでは高精度を保証できないことを示すこと。

提案手法

• 暗号化されたトラフィックにおけるパケットのタイミング、長さ、方向のパターンを検出するために、PTP 2ステップモードにおける統計的トラフィック分析を実施した。
• 観測された統計的特性（例：一貫したパケット間隔、固定されたパケットサイズ）を用いて、暗号化されているにもかかわらず、PTPメッセージタイプを高い確率で同定した。
• 特定されたトラフィックパターンを活用して、スレーブ時 clocks オフセットを操作する選択的メッセージ遅延攻撃を設計・実装した。
• トラフィック特性を隠蔽し分析を困難にするために、長さパディングとタイミングランダマイゼーションの対策を提案した。
• 物理的ネットワーク制約に基づくワンウェイ遅延（OWD）バウンズを導入し、敵対的遅延操作下での最大時 clocks オフセット偏差を保証的に計算した。
• 決定論的遅延要件（精度のため）とトラフィックの隠蔽要件（セキュリティのため）の間の理論的矛盾を形式化した。

実験結果

リサーチクエスチョン

• RQ1 暗号化されたPTPトラフィックの統計的トラフィック分析を用いて、選択的遅延攻撃に必要なメッセージタイプとタイミングパターンを識別できるか？
• RQ2 IPsec、MACsec、またはTLSによるエンドツーエンド暗号化が、高精度時 clocks 同期プロトコルにおける遅延攻撃をどの程度防げるか？
• RQ3 信頼できないネットワークで安全かつ高精度な時 clocks 同期を実現できない根本的制限は何か？
• RQ4 OWDバウンズとネットワーク知識をどのように活用して、敵対的遅延操作下での最大保証時 clocks オフセット偏差を計算できるか？
• RQ5 高精度かつ遅延攻撃に対して完全に安全な時 clocks 同期プロトコルを理論的に設計することは可能か？

主な発見

• パケットのタイミング、長さ、方向に基づく暗号化されたPTPトラフィックの統計的分析により、高い確率でPTPメッセージタイプを信頼性高く同定できる。
• 選択的メッセージ遅延攻撃は暗号化されたPTPトラフィックに対しても成功し、暗号化がタイミングに基づく操作を防げないことを示している。
• 高精度時 clocks 同期を達成することと遅延攻撃に対する防御の間に根本的矛盾が存在する。これは、遅延補償メカニズムが本質的に脆弱であるためである。
• パディングやランダマイゼーションなどのトラフィック隠蔽技術を用いても、信頼できない環境下では正確な時 clocks 同期を保証できない。
• 物理的ネットワークパrameterに基づくOWDバウンズは、最大時 clocks オフセット偏差を制限できるが、インフラの要件には不十分である。
• 信頼できないネットワークでは、高精度時 clocks 同期を遅延攻撃に対して安全に保ちながら維持することは不可能であり、暗号化がセキュリティを保証するという仮定に反する。