[Paper] TriHaRd: TEE Trusted Time의 높은 복원력

Source: arXiv - 2512.10732v1

Overview

이 논문은 TriHaRd라는 새로운 프로토콜을 소개한다. 이는 Intel SGX와 같은 신뢰 실행 환경(TEE)이 호스트 운영 체제가 완전히 타협된 상황에서도 신뢰할 수 있는 시간 개념을 유지하도록 한다. 기존 Triad 설계를 시계 속도 및 오프셋 공격에 대비해 강화함으로써, TriHaRd는 정확한 타임스탬프가 필요한 보안‑중요 서비스(예: 보안 로깅, 임대 만료, 블록체인 앵커링)에 “신뢰할 수 있는 시간”을 실용적으로 제공한다.

Key Contributions

• 비잔틴‑내성 시계 업데이트 – 악의적인 TEE가 공유 시계를 가속하거나 감속하려 할 때도 견딜 수 있는 새로운 업데이트 규칙.
• 교차‑TEE 일관성 검사 – 일부 참가자가 합의된 시간 진행에서 벗어났을 때 이를 탐지하는 경량 메커니즘.
• 형식적 보안 분석 – OS와 임의 개수의 TEE를 제어하는 적이 정직한 TEE가 임의의 미래 타임스탬프를 받아들이도록 강제할 수 없음을 증명하는 논증.
• 프로토타입 구현 – Intel SGX 위에 구축된 TriHaRd 라이브러리, 원격 시간 권한(Time Authority, TA)와 통합, 실제 SGX 인클레이브 클러스터에서 평가.
• 실증적 평가 – Triad를 무너뜨리는 시계‑속도 공격을 TriHaRd가 차단함을 보여주며, 업데이트 라운드당 약 5 %의 작은 오버헤드(≈ 5 % 추가 지연)만 발생함을 실험으로 입증.

Methodology

1. System Model – 저자들은 인증된 채널을 통해 통신할 수 있는 TEE들의 클러스터, 현재 월-시계 시간을 주기적으로 서명하는 원격 시간 권한(TA), 그리고 로컬 타이머를 조작할 수 있는 잠재적으로 악의적인 호스트 OS를 가정한다.
2. Threat Model – 공격자는 OS와任意의 TEE 집합을 제어할 수 있으며, TA의 서명(신뢰된 것으로 가정)만 제외하고 메시지를 재생, 삭제, 위조할 수 있다.
3. Protocol Design
   • Clock Proposal Phase: 각 인클레이브는 자체 하드웨어 타이머에서 파생된 로컬 시계 값을 제안한다.
   • Byzantine‑Resilient Aggregation: 중앙값 기반 집계( BFT 합의와 유사)를 사용해 2f + 1 참가자 중 f개의 결함 인클레이브까지 견디는 전역 시간 업데이트를 계산한다.
   • Speed‑Bound Enforcement: 인클레이브는 업데이트당 허용 가능한 최대 드리프트를 제한한다(예: 초당 Δ ms 이상은 허용되지 않음). 제안이 이 한계를 초과하면 폐기한다.
   • Consistency Check: 각 라운드 후 인클레이브는 수락된 타임스탬프의 해시‑연결 요약을 교환한다. 불일치가 발견되면 TA와 재동기화를 수행한다.
4. Implementation – 저자들은 SGX SDK 라이브러리로 프로토콜을 구현했으며, 로컬 시간에 Intel RDTSC 카운터, 피어 간 인증 통신에 TLS, TA 서명에 ED25519를 사용했다.
5. Evaluation – 7개의 SGX 인클레이브를 별도 VM에 배치하고, 공격자가 로컬 타이머를 최대 10배 가속시키는 상황을 시뮬레이션했으며, 정직한 인클레이브 시계와 전체 지연에 미치는 영향을 측정했다.

Results & Findings

실험 결과는 TriHaRd가 손상된 인클레이브가 전체 클러스터의 시계를 임의로 크게 앞당기는 “빠른 전진” 공격을 완전히 무력화함을 확인한다. 성능 저하가 미미하여 주기적인 신뢰 타임스탬프가 필요한 프로덕션 워크로드에 적용 가능하다.

Practical Implications

• Secure Logging & Auditing – 변조 방지 로그에 의존하는 서비스(예: 금융 거래 기록, 규정 준수 감사)는 전용 하드웨어 시계 없이도 신뢰할 수 있는 타임스탬프를 얻을 수 있다.
• Lease & Token Expiration – 시간 기반 접근 제어를 적용하는 분산 시스템(예: DRM, 구독 서비스)은 호스트가 신뢰할 수 없더라도 SGX 인클레이브 내부에서 안전하게 동작할 수 있다.
• Blockchain Anchoring – TEEs는 오프체인 데이터에 대해 검증 가능한 정확한 타임스탬프를 제공하여 “오라클” 서비스의 공격 표면을 감소시킨다.
• Edge & IoT Deployments – 보안 RTC를 탑재할 수 없는 디바이스도 TriHaRd 클러스터에 참여해 탄력적인 시간 소스를 물려받음으로써 안전한 펌웨어 업데이트와 시간 기반 정책을 간소화한다.
• Developer Simplicity – 제공된 SGX 라이브러리는 합의 로직을 추상화한다; 개발자는 get_trusted_time()을 호출하고 가끔 발생하는 재동기화 콜백만 처리하면 된다.

Limitations & Future Work

• Dependence on a Remote Time Authority – TA가 이용 불가능해지면 클러스터는 제한된 속도로만 진행될 수 있어 시간에 민감한 애플리케이션이 정지할 가능성이 있다.
• Network Latency Sensitivity – 중앙값 기반 집계는 비교적 동기화된 통신을 전제로 하며, 고지연 혹은 분할된 네트워크에서는 재동기화 빈도가 증가할 수 있다.
• Scalability – 현재 프로토타입은 소수의 인클레이브에 대해 원활히 동작하지만, 대규모 클러스터에서는 계층적 집계나 gossip‑ 기반 변형이 필요할 수 있다.
• Hardware Diversity – 설계가 Intel SGX의 단조 카운터에 묶여 있어, 다른 TEE(예: ARM TrustZone, AMD SEV)로 확장하려면 로컬 타이머 소스를 조정해야 한다.

향후 연구 방향으로는 단일 TA에 대한 의존성을 더욱 낮추는 leaderless BFT 시계 프로토콜 탐색, 하드웨어 기반 시간 소스(예: TPM‑기반 카운터) 통합, 그리고 인클레이브 churn이 빈번한 실제 클라우드 오케스트레이션 플랫폼에서 TriHaRd를 평가하는 것이 포함된다.

Authors

• Matthieu Bettinger
• Sonia Ben Mokhtar
• Pascal Felber
• Etienne Rivière
• Valerio Schiavoni
• Anthony Simonet-Boulogne

Paper Information

• arXiv ID: 2512.10732v1
• Categories: cs.CR, cs.DC
• Published: December 11, 2025
• PDF: Download PDF