블록 기반 파일 결함 주입 기법을 이용한 소프트웨어 보안 테스팅
Software Security Testing using Block-based File Fault Injection
0
조회
0
다운로드
3
인용
0
참고문헌
초록
본 논문에서는 파일에 결함을 주입하는 기법을 이용하여 보안 테스팅(security testing)을 수행하는 방법론을 제안한다. 본 논문에서 제안한 방법론은 파일 내의 여러 필드(field)들을 묶어 블록(block)으로 처리하는 파일 포맷을 대상으로 필드를 고려하여 결함 주입 기법을 수행함으로써 소프트웨어의 취약점을 발견한다. 해당 방법론은 파일 데이터의 변경으로 발생할 수 있는 메모리 처리 관련 취약점에 초점을 맞추고 있다. 파일에 결함을 주입할 때 필드를 고려하면 파일을 파싱하는 과정에서 발생할 수 있는 파일 포맷 불일치의 에러 처리를 줄일 수 있는 장점이 있다. 본 논문에서는 블록으로 처리하는 파일 포맷 중 대표적인 파일 포맷인 이미지 파일에 대해 해당 방법론을 적용하였다. 이와 함께 이미지 파일에 대해 자동으로 결함을 주입할 수 있는 도구인 ImageDigger를 구현하였다. ImageDigger를 이용하여 WMF, EMF 이미지 파일 포맷에 대해 결함 주입을 수행하였으며 10 종류의 서비스 거부 취약점을 발견하여 원인을 분석하였다. 해당 방법론은 블록을 기반으로 파일을 처리하는 대표적인 파일 포맷인 MS Office와 이외의 파일 포맷에 대해서도 적용 가능하다.
Abstract
In this paper, we proposed the methodology for security testing using block-based file fault injection. When fault is inserted into software, we consider the format of file in order to efficiently reduce the error that is caused by mismatch of format of file. The Vulnerability the methodology focuses on is related to memory processing, such as buffer overflow, null pointer reference and so on. We implemented the automatic tool to apply the methodology to image file format and named the tool ImageDigger. We executed fault-injection focused on WMF and EMF file format using ImageDigger, and found 10 DOS(Denial of Service) in Windows Platform. This methodology can apply to block-based file format such as MS Office file.
참고문헌 (13)
- "Software’s Invisible Users", 18(31), pp.84~88 (2002)
- "Violating Assumptions with Fuzzing", 3(2), pp.58~62 (2005)
- "How to Break Software Security", 3, Addison Wesley
- "Microsoft Windows GDI WMF Remote Denial of Service Vulnerability"
- "DLL Word Document Handling Denial of Service Vulnerability"
- "Microsoft Excel NULL Pointer Dereference Denial of Service Vulnerability"
- "Software Fault Injection Inoculating Programs Against Errors"
- "Automated Robustness Testing of Off-the-Shelf Software Components", pp.230~239 (1998)
- "The Art of File Format Fuzzing" (2005), Blackhat
- "An Empirical Study of the Robustness of Windows NT Applications using Random Testing" (2000)
- "Debugging Tools for Windows"
- "An In-Depth Look into the Win32 Portable Executable File Format"
- "한양대학교 전자전기학과 졸업2004년 2월 한국과학기술원 전자전산학과 석사2004년 2월～현재 국가보안기술연구소 고려대학교 전산학과 졸업2001년 8월 고려대학교 전산학과 석사2001년 3월～현재 국가보안기술연구소 선임연구원 숭실대학교 전자계산학과 졸업1991년 2월 숭실대학교 전자계산학과 석사1991년 3월 2000년 국방과학연구소 선임연구원2000년～현재 국가보안기술연구소 선임연구원" (2002)