[논문 리뷰] Encryption is Futile: Delay Attacks on High-Precision Clock Synchronization

Robert Annessi, Joachim Fabini외 2명|arXiv (Cornell University)|2018. 11. 21.

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 2단계 모드에서 패tern을 탐지하기 위해.
• 관측된 통계적 특성(예: 일관된 패킷 간격, 고정된 패킷 크기)을 활용하여 암호화된 상태에서도 PTP 메시지 유형을 높은 확률로 식별하기 위해.
• 식별된 트래픽 패턴을 이용해 선택적 메시지 지연 공격을 설계하고 구현하여 슬레이브 시계 오프셋을 조작하기 위해.
• 트래픽 특성을 은폐하고 분석을 어렵게 하기 위해 길이 패딩과 시간 랜덤화와 같은 대응 조치를 제안하기 위해.
• 물리적 네트워크 제약 조건을 기반으로 한 웨이터 딜레이(Oneway Delay, OWD) 한계를 도입하여 적대적 지연 조작 하에서 보장되는 최대 시계 오프셋 편차를 계산하기 위해.
• 정밀도를 위한 결정론적 지연 요구 조건과 보안을 위한 트래픽 은폐 요구 조건 사이의 이론적 갈등을 정식화하기 위해.

실험 결과

연구 질문

• RQ1 암호화된 PTP 트래픽의 통계적 트래픽 분석을 통해 선택적 지연 공격에 필요한 메시지 유형과 시간 패턴을 식별할 수 있는가?
• RQ2 IPsec, MACsec, 또는 TLS를 사용한 엣지 투 엣지 암호화가 고정밀 시계 동기화 프로토콜에서 지연 공격을 어느 정도 방지할 수 있는가?
• RQ3 신뢰할 수 없는 네트워크에서 안전하고 고정밀 시계 동기화를 달성하는 데 있어 근본적인 제약 조건은 무엇인가?
• RQ4 OWD 한계와 네트워크 지식을 어떻게 활용하여 적대적 지연 조작 하에서 최대 보장 가능한 시계 오프셋 편차를 계산할 수 있는가?
• RQ5 지연 공격에 대해 매우 정밀하고 완전히 보안된 시계 동기화 프로토콜을 이론적으로 설계하는 것은 가능한가?

주요 결과

• 패킷의 시간, 길이, 방향성에 기반한 암호화된 PTP 트래픽의 통계적 분석을 통해 고정밀도로 PTP 메시지 유형을 높은 확률로 식별할 수 있다.
• 선택적 메시지 지연 공격이 암호화된 PTP 트래픽을 대상으로 성공적으로 수행될 수 있으며, 이는 암호화가 시간 기반 조작을 방지하지 못함을 보여준다.
• 고정밀 시계 동기화를 달성하고 지연 공격에 대비하는 데 있어 근본적인 갈등이 존재한다. 지연 보상 메커니즘이 본질적으로 취약하기 때문이다.
• 패딩 및 랜덤화와 같은 트래픽 은폐 기법을 사용하더라도, 신뢰할 수 없는 네트워크 환경에서는 정밀한 시계 동기화를 보장할 수 없다.
• 물리적 네트워크 파rameter를 기반으로 도출된 OWD 한계는 최대 시계 오프셋 편차를 제한할 수 있지만, 이는 핵심 인프라 요구 조건에는 부족하다.
• 고정밀 시계 동기화는 지연 공격에 대해 보안을 확보하고 동시에 필요한 정밀도를 유지할 수 없으며, 이는 암호화가 보안을 보장한다는 가정을 반박한다.