[논문 리뷰] Time Protection: the Missing OS Abstraction

Qian Ge, Yuval Yarom외 2명|arXiv (Cornell University)|2018. 10. 12.

Security and Verification in Computing참고 문헌 50인용 수 8

한 줄 요약

이 논문은 캐시 분할을 통한 페이지 컬러링과 공유 하드웨어 상태의 대상별 플러시를 통해 시간 보호를 새로운 OS 추상화로 제안하여 마이크로아ーキ텍처적 타이밍 채널을 방지한다. 정책 불필요한 커널 클론 메커니즘과 결합된 이 접근법은 x86 및 Arm 플랫폼에서 최소한의 성능 오버헤드로 타이밍 채널을 효과적으로 차단하며, seL4에서 투명성과 강력한 격리 보장을 제공한다.

ABSTRACT

Timing channels enable data leakage that threatens the security of computer systems, from cloud platforms to smartphones and browsers executing untrusted third-party code. Preventing unauthorised information flow is a core duty of the operating system, however, present OSes are unable to prevent timing channels. We argue that OSes must provide time protection in addition to the established memory protection. We examine the requirements of time protection, present a design and its implementation in the seL4 microkernel, and evaluate its efficacy as well as performance overhead on Arm and x86 processors.

연구 동기 및 목표

• 타이밍 채널—특히 마이크로아키텍처적 타이밍 채널—이 악의적인 정보 泄露 를 가능하게 하는 운영 체제의 심각한 보안 격차를 해결하기 위해.
• 시간 보호를 메모리 보호와 동등한 수준의 첫 번째 클래스 OS 추상화로 확립하여 보안 도메인 간의 시간 격리 보장을 보장하기 위해.
• 신뢰할 수 있는 커널인 seL4에서 검증 가능하고 최소화된 정책 불필요한 시간 보호 메커니즘을 설계하고 구현하기 위해.
• 시간 보호가 마이크로아키텍처적 타이밍 채널을 제거하는 데 효과적인지 평가하고, 현대적인 x86 및 Arm 프로세서에서의 성능 오버헤드를 정량화하기 위해.

제안 방법

• 각 코어에 별도의 커널 이미지를 생성하는 정책 불필요한 커널 클론 작업을 도입하여 보안 도메인 간의 공유 상태를 최소화한다.
• 페이지 컬러링을 사용해 L1 및 L2 캐시를 분할하고, L3 캐시(LLC) 및 TLB 항목과 같은 분할이 불가능한 마이크로아키텍처적 상태를 플러시한다.
• 컨텍스트 스위치 지연 시간을 늘려 도메인 간 타이밍 차이로 인한 타이밍 사이드 채널 泄露 를 방지하기 위해 타임 팯딩을 사용한다.
• 기존 하드웨어 지원 기능인 캐시 컬러링 및 플러시 작업을 활용하며, 정밀도 향상과 오버헤드 감소를 위한 확장 기능을 추가한다.
• seL4 마이크로커널에 이 메커니즘을 적용하여 격리 성질의 형식적 검증과 최소한의 신뢰 영역을 확보한다.
• 공유 코어에 악성 스레드가 존재하는 제어된 공격 시나리오 하에서 실제 워크로드(Splash-2)를 사용해 설계를 평가한다.

실험 결과

연구 질문

• RQ1 정책 기반의 강제적이고 블랙박스 방식의 OS 메커니즘이 응용 프로그램 수준의 협조 없이도 마이크로아키텍처적 타이밍 채널을 효과적으로 차단할 수 있는가?
• RQ2 최소한의 성능 오버헤드로 강력한 격리 보장을 확보하면서 시간 격리를 어떻게 달성할 수 있는가?
• RQ3 기존 하드웨어 기능인 캐시 컬러링 및 플러시 작업을 얼마나 효과적으로 활용해 시간 보호를 구현할 수 있는가?
• RQ4 일반적인 워크로드, 특히 악성 캐시 경쟁 상황에서 시간 보호의 성능 영향은 어떠한가?
• RQ5 정책 불필요하고 최소화된 커널인 seL4에서 시간 보호를 구현하면서도 검증 가능성과 보안성을 유지할 수 있는가?

주요 결과

• 시간 보호는 공유 하드웨어 자원을 분할하고 도메인 간 커널 상태를 격리함으로써 연구된 모든 마이크로아키텍처적 타이밍 채널을 효과적으로 제거한다.
• x86에서 50% 또는 75% 캐시 공유 분할 시 대부분의 Splash-2 벤치마크에서 5.5% 이내의 오버헤드를 보였으며, 충돌 미스 감소로 인해 radiosity 및 ocean 벤치마크에서는 성능 향상도 관찰되었다.
• Arm에서는 타임 팵딩으로 인한 성능 오버헤드가 오직 0.2%~0.4%에 불과했고, 공격 스레드로부터의 격리 덕분에 raytrace 벤치마크에서 일관된 성능 향상이 나타났다.
• x86 및 Arm에서 커널 클론 메커니즘이 거의 영향을 주지 않아 커널과 인터럽트의 거의 완벽한 분할을 가능하게 하였다.
• 현재 하드웨어 제약 조건에서도 이 접근법은 효과적이며, 향후 하드웨어 확장(예: 더 정밀한 플러시)을 통해 완벽한 시간 보호를 달성할 수 있다.
• 평가 결과 시간 보호는 응용 프로그램에 대해 투명하며, 신뢰할 수 없는 코드의 변경 없이도 강력한 격리 보장을 제공함을 확인하였다.