[논문 리뷰] Thermal Covert Channels on Multi-core Platforms

Ramya Jayaram Masti, Devendra Rai외 4명|arXiv (Cornell University)|2015. 03. 24.

Security and Verification in Computing참고 문헌 25인용 수 65

한 줄 요약

이 논문은 다중 코어 플랫폼에서 강력한 격리 기법이 존재함에도 불구하고, 프로세서 코어의 온도 변화를 악용하여 열 측면 채널을 통해 암호화된 통신을 가능하게 하며, 최대 12.5 bps의 속도로 통신을 수행하고 이웃하는 프로세스의 활동을 감지할 수 있음을 입증한다. 전용 코어와 메모리 분할 기법이 적용된 상황에서도 열 방출이 암호화된 채널로 기능하며, 현대 시스템의 심각한 보안 한계를 드러낸다.

ABSTRACT

Side channels remain a challenge to information flow control and security in modern computing platforms. Resource partitioning techniques that minimise the number of shared resources among processes are often used to address this challenge. In this work, we focus on multi-core platforms and we demonstrate that even seemingly strong isolation techniques based on dedicated cores and memory can be circumvented through the use of thermal side channels. Specifically, we show that the processor core temperature can be used both as a side channel as well as a covert communication channel even when the system implements strong spatial and temporal partitioning. Our experiments on an x86-based platform demonstrate covert thermal channels that achieve up to 12.5 bps and a weak side channel that can detect processes executed on neighbouring cores. This work therefore shows a limitation in the isolation that can be achieved on existing multi-core systems.

연구 동기 및 목표

• 강력한 격리 메커니즘이 존재하는 상황에서도 다중 코어 프로세서의 온도 변화가 측면 채널 또는 암호화된 채널로 악용될 수 있는지 조사하기 위해.
• 공간적 및 시간적 분할 기법이 적용된 환경에서 코어 온도를 통신 수단으로 사용할 수 있는지 타당성 평가하기 위해.
• x86 기반 플랫폼에서 전통적인 자원 분할 기법을 우회할 수 있는 열 측면 채널이 실제로 존재함을 입증하기 위해.

제안 방법

• x86 기반 다중 코어 플랫폼에서 하드웨어 센서를 통해 코어 온도 변화를 모니터링하기 위해.
• CPU 워크로드 강도를 조절하여 온도를 변조함으로써 열 방출에 데이터를 인코딩하기 위해.
• 송신 프로세스가 열 변동을 생성하고 수신 프로세스가 별도의 코어에서 온도 변화를 감지하기 위해.
• 열 신호 변조 기반의 암호화된 통신 프로토콜을 구현하며, 송신 및 수신 코어에 각각 인코딩 및 디코딩 논리를 구현하기 위해.
• 다양한 격리 및 워크로드 조건 하에서 채널 용량과 탐지 정확도를 측정하기 위해.
• 이웃 코어에서의 프로세스 활동을 열 서명을 통해 감지함으로써 약한 측면 채널 존재를 검증하기 위해.

실험 결과

연구 질문

• RQ1 강력한 격리 기법이 존재하는 상황에서도 다중 코어 프로세서의 열 변동을 암호화된 통신 채널로 사용할 수 있는가?
• RQ2 열 측면 채널은 이웃 코어에 존재하는 프로세스의 존재를 어느 정도 정확도로 감지할 수 있는가?
• RQ3 분할된 다중 코어 환경에서 열 암호화 채널이 달성할 수 있는 최대 데이터 전송 속도는 얼마인가?
• RQ4 기존의 자원 분할 및 격리 기법에 대해 열 채널은 얼마나 내구성이 있는가?

주요 결과

• x86 기반 다중 코어 플랫폼에서 최대 12.5 bps의 데이터 전송 속도를 달성한 암호화된 열 채널이 성공적으로 구현되었다.
• 열 측면 채널은 이웃 코어에서의 프로세스 실행을 높은 정확도로 감지할 수 있었으며, 이는 약한 측면 채널 존재를 시사한다.
• 프로세스가 전용 코어와 메모리에 격리되어 있더라도 열 측면 채널은 여전히 효과적이며, 기존의 분할 보안 기법을 무력화한다.
• 결과적으로 열 방출은 공간적 및 시간적 격리를 우회할 수 있음을 입증하며, 현재의 다중 코어 보안 모델에 근본적인 한계가 있음을 드러낸다.