Wasm 샌드박스(Sandbox)의 허점을 파고드는 공격, 당신의 백엔드는 안전한가?
by DD
6개월 전
조회수 22
Wasm은 백엔드(Backend) 환경에서 차세대 컨테이너(Next-Generation Container)로 부상했지만, 샌드박스(Sandbox) 취약점이 발견됨
선형 메모리(Linear Memory) 모델의 한계와 JIT 컴파일러(JIT Compiler)의 버그를 악용하여 샌드박스 탈출 시도 가능
AI 모델(AI Model) 실행 환경에서 악성 모델을 통한 공격 위험 증가, 특히 엣지 컴퓨팅(Edge Computing) 환경에서 취약
ISLE 기반의 컴파일러(Compiler) 검증, 힙 샌드박스(Heap Sandbox) 도입, 컴포넌트 모델(Component Model) 등 다중 방어 전략 제시
Wasm 샌드박스(Sandbox)의 구조적 취약점
Wasm은 선형 메모리 모델(Linear Memory Model)을 기반으로 하며, 모든 메모리 접근은 이 메모리 블록 내에서 이루어진다. 하지만, C/C++과 같은 메모리 안전성이 취약한 언어로 작성된 코드는 버퍼 오버플로우(Buffer Overflow)와 같은 취약점에 여전히 노출된다. 특히, Wasm은 스택 카나리(Stack Canary)나 ASLR(Address Space Layout Randomization)과 같은 일반적인 완화 기법을 지원하지 않아, 내부적인 익스플로잇(Exploit)이 더 쉬울 수 있다.
JIT 컴파일러(JIT Compiler)의 취약점
JIT 컴파일러(JIT Compiler)는 Wasm 바이트코드를 네이티브 머신 코드로 변환하여 성능을 향상시키지만, 이 과정에서 발생하는 논리적 오류(Logic Error)는 심각한 보안 문제를 야기할 수 있다. 범위 검사(Bounds Check) 생략과 같은 최적화 과정에서 발생하는 버그는 샌드박스(Sandbox) 탈출의 주요 원인이 된다. 또한, 레지스터 할당(Register Allocation) 과정에서의 오류는 취약점을 발생시킬 수 있다.
