바이너리 분석을 이용한 UNIX 커널 기반 File System의 TOCTOU Race Condition 탐지 방법 제안

Abstract

Race Condition은 둘 이상의 프로세스가 하나의 공유 자원에 대해 입력이나 조작이 동시에 일어나 의도치 않은 결과를 가져오는 취약점이다. 해당 취약점은 서비스 거부 (DoS) 또는 권한 상승과 같은 문제를 초래할 수 있다. 특히 자원에 대한 사용 시점과 검사 시점이 서로 다른 경 우에 발생하는 TOCTOU(Time-Of-Check-to-Time-Of-Use) Race Condition 취약점은 공격 가 능한 Time-Slot의 존재 유무를 확인하여야 하며, 소스코드가 없는 상태에서 확인하는 것은 어 렵다. 따라서 본 논문은 UNIX 커널 기반의 파일 시스템을 사용하는 운영체제에서 발생하는 TOUTOU Race Condition 취약점을 바이너리 분석을 통한 탐지 방법을 제안한다