[논문 리뷰] Automated Dynamic Firmware Analysis at Scale: A Case Study on Embedded Web Interfaces

Andrei Costin, Apostolis Zarras외 1명|arXiv (Cornell University)|2015. 11. 11.

Web Application Security Vulnerabilities참고 문헌 56인용 수 26

한 줄 요약

이 논문은 소프트웨어 기반 에뮬레이션을 사용하여 임베디드 웹 인터페이스를 대상으로 하는 첫 번째 완전 자동화되고 확장 가능한 동적 펌웨어 분석 프레임워크를 제시한다. 이 프레임워크는 54家의 벤더에서 온 1,925개의 펌웨어 이미지 중 24%에서 심각한 취약점을 발견하였으며, 물리적 장치가 없이도 대규모 자동 보안 테스트의 실현 가능성과 효과성을 입증한다.

ABSTRACT

Embedded devices are becoming more widespread, interconnected, and web-enabled than ever. However, recent studies showed that these devices are far from being secure. Moreover, many embedded systems rely on web interfaces for user interaction or administration. Unfortunately, web security is known to be difficult, and therefore the web interfaces of embedded systems represent a considerable attack surface. In this paper, we present the first fully automated framework that applies dynamic firmware analysis techniques to achieve, in a scalable manner, automated vulnerability discovery within embedded firmware images. We apply our framework to study the security of embedded web interfaces running in Commercial Off-The-Shelf (COTS) embedded devices, such as routers, DSL/cable modems, VoIP phones, IP/CCTV cameras. We introduce a methodology and implement a scalable framework for discovery of vulnerabilities in embedded web interfaces regardless of the vendor, device, or architecture. To achieve this goal, our framework performs full system emulation to achieve the execution of firmware images in a software-only environment, i.e., without involving any physical embedded devices. Then, we analyze the web interfaces within the firmware using both static and dynamic tools. We also present some interesting case-studies, and discuss the main challenges associated with the dynamic analysis of firmware images and their web interfaces and network services. The observations we make in this paper shed light on an important aspect of embedded devices which was not previously studied at a large scale. We validate our framework by testing it on 1925 firmware images from 54 different vendors. We discover important vulnerabilities in 185 firmware images, affecting nearly a quarter of vendors in our dataset. These experimental results demonstrate the effectiveness of our approach.

연구 동기 및 목표

• 임베디드 장치, 특히 웹 인터페이스를 갖춘 장치에서 증가하는 보안 위험을 해결하기 위해, 기존 보안 평가에서 자주 간과되는 이러한 위험을 다루기 위해.
• 물리적 장치나 벤더 전용 지식이 필요 없는 확장 가능한 자동화된 프레임워크를 개발하기 위해.
• 실제 임베디드 펌웨어 이미지에서 웹 애플리케이션 결함(예: XSS 및 명령 인젝션 포함)과 관련된 취약점을 식별하고 검증하기 위해.
• 완전 자동화된 파이프라인 내에서 정적 및 동적 분석을 통합하여 펌웨어 보안 테스트의 신뢰성과 커버리지 향상시키기 위해.
• 개발자, 감사원 및 벤더가 자동화된 테스트 및 수정 전략을 통해 펌웨어 보안을 향상시키기 위한 실질적인 통찰을 제공하기 위해.

제안 방법

• 프레임워크는 QEMU 기반의 전체 시스템 에뮬레이션을 사용하여 소프트웨어 환경에서만 펌웨어 이미지를 실행함으로써 물리적 하드웨어 없이도 동적 분석을 수행한다.
• 펌웨어 구성 요소(웹 인터페이스 포함)를 자동으로 해체하고 추출하여 분석을 위한 준비를 한다.
• 오픈소스 정적 분석 도구(예: 코드 수준 문제)와 동적 분석 도구(예: 웹 애플리케이션 스캐너)를 통합하여 취약점을 탐지한다.
• 맞춤형 크롤러와 패치 테스트 컴포넌트를 사용하여 웹 인터페이스를 탐색하고 테스트함으로써 공격 표면 커버리지 확보한다.
• 에뮬레이션 및 웹 인터페이스 실행 실패를 식별하고 분류하는 실패 분석 모듈을 포함하여 대응 개선을 가능하게 한다.
• 에뮬레이션 실패를 줄이기 위해 자동 수정 제안을 적용함으로써 확장성과 성공률 향상한다.

실험 결과

연구 질문

• RQ1 완전 자동화되고 소프트웨어 기반의 프레임워크가 다양한 임베디드 장치의 웹 인터페이스를 대상으로 동적 펌웨어 분석을 효과적으로 확장할 수 있는가?
• RQ2 임베디드 펌웨어 이미지 중 웹 인터페이스에 공격 가능한 취약점이 포함된 비율은 얼마이며, 가장 흔한 취약점 유형은 무엇인가?
• RQ3 기존 수동 또는 제한된 스케일 접근 방식과 비교해 볼 때, 자동화된 기술이 임베디드 웹 인터페이스의 취약점을 탐지하는 데 얼마나 효과적인가?
• RQ4 자동 수정을 통해 에뮬레이션 실패를 어느 정도 줄일 수 있으며, 이는 펌웨어 분석의 전체 확장성에 어떤 영향을 미치는가?
• RQ5 정적 및 동적 분석을 통합된 파이프라인에서 효과적으로 결합할 수 있는가? 이는 취약점 탐지 정확도와 커버리지 향상에 기여하는가?

주요 결과

• 프레임워크는 54개 벤더에서 온 총 1,925개의 펌웨어 이미지를 분석하여 185개의 펌웨어 이미지에서 심각한 취약점을 발견하였으며, 이는 데이터셋의 24%에 해당한다.
• 185개의 펌웨어 이미지에서 총 9,271개의 이슈를 식별하였으며, 이 중 225개의 고영향력 취약점은 동적 분석을 통해 확인되었다.
• 에뮬레이션 실패의 최소 61.3%와 웹 인터페이스 실행 실패의 최소 25.2%가 비교적 단순한 수정 유지보수 조치를 통해 해결되었다.
• 연구 결과에 따르면, 특히 SOHO 장치의 많은 장치들이 XSS, SQL 인젝션, 명령 인젝션과 같은 잘 알려진 웹 애플리케이션 취약점에 취약하다는 것이 드러났다.
• 결과적으로 자동화된 동적 분석이 소스 코드나 물리적 장치에 접근하지 않더라도 실제 세계의 취약점을 대규모로 효과적으로 드러내는 데 매우 효과적이라는 것이 입증되었다.
• 프레임워크의 성공은 벤더가 펌웨어 개발 라이프사이클에 자동화된 보안 테스트를 통합할 필요성이 긴급히 존재함을 시사한다.