[论文解读] 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）遭受延迟攻击，因为对数据包时间、长度和方向的统计流量分析，即使在加密流量中也能实现选择性消息延迟攻击。关键发现是，在不受信任的网络中，高精度时钟同步与抵御延迟攻击在根本上存在不相容性，这是由于延迟补偿机制存在固有漏洞。

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流量进行加密是否能防止高精度时钟同步中的延迟攻击。
• 分析当消息被加密但流量特征仍可观察时，时钟同步协议对延迟攻击的脆弱性。
• 识别在对抗性网络环境中，实现高精度与确保抵御延迟攻击之间存在的根本不相容性。
• 评估流量填充、时间随机化及OWD边界等对策以减轻攻击影响。
• 建立在对抗性延迟操纵下时钟偏移精度的理论极限，表明在不受信任的网络中无法保证高精度。

提出的方法

• 对PTP两步模式进行统计流量分析，以检测加密流量中数据包时间、长度和方向的模式。
• 利用观察到的统计特性（例如一致的包间间隔、固定包大小）在加密情况下以高概率识别PTP消息类型。
• 通过利用识别出的流量模式，设计并实施选择性消息延迟攻击，以操纵从时钟的偏移量。
• 提出对策，包括长度填充和时间随机化，以隐藏流量特征并阻碍分析。
• 基于物理网络约束提出单向延迟（OWD）边界，以计算保证的最大时钟偏移偏差。
• 形式化了确定性延迟需求（用于精度）与流量混淆需求（用于安全）之间的理论冲突。

实验结果

研究问题

• RQ1 能否利用对加密PTP流量的统计流量分析，识别出用于选择性延迟攻击所需的消息类型和时间模式？
• RQ2 端到端加密（使用IPsec、MACsec或TLS）在多大程度上能防止高精度时钟同步协议遭受延迟攻击？
• RQ3 导致在不受信任的网络中无法实现安全且高精度时钟同步的根本限制是什么？
• RQ4 如何利用OWD边界和网络知识，在对抗性延迟操纵下计算最大保证的时钟偏移偏差？
• RQ5 理论上是否可能设计一种既高度精确又完全抵御延迟攻击的时钟同步协议？

主要发现

• 基于数据包时间、长度和方向的统计分析，可高概率可靠地识别加密PTP流量中的PTP消息类型。
• 可在加密PTP流量上成功实施选择性消息延迟攻击，表明加密无法防止基于时间的操纵。
• 实现高精度同步与抵御延迟攻击之间存在根本性冲突，因为延迟补偿机制本质上存在漏洞。
• 即使采用填充和随机化等流量混淆技术，在无信任网络环境中，也无法保证精确的时钟同步。
• 基于物理网络参数推导出的OWD边界可限制最大时钟偏移偏差，但这些边界不足以满足关键基础设施的需求。
• 在不受信任的网络中，高精度时钟同步无法同时具备抵御延迟攻击的安全性与所需的精度，这与‘加密可确保安全’的假设相矛盾。