[논문 리뷰] On Vulnerabilities, Constraints and Assumptions

Anil Bazaz, James D. Arthur|ArXiv.org|2005. 09. 26.

Security and Verification in Computing참고 문헌 14인용 수 3

한 줄 요약

이 논문은 소프트웨어 취약성의 이론적 모델을 기반으로 한 새로운 분류 체계를 제안한다. 이 모델은 취약성이 시스템 자원 제약 조건과 가정의 위반과 연결됨을 설명한다. 메모리, 입출력(I/O), 암호화 자원과 같은 컴퓨터 시스템 자원에 따라 취약성을 분류함으로써, 소프트웨어 보안 평가를 위한 체계적인 검증 및 검증 전략을 가능하게 한다.

ABSTRACT

This report presents a taxonomy of vulnerabilities created as a part of an effort to develop a framework for deriving verification and validation strategies to assess software security. This taxonomy is grounded in a theoretical model of computing, which establishes the relationship between vulnerabilities, software applications and the computer system resources. This relationship illustrates that a software application is exploited by violating constraints imposed by computer system resources and assumptions made about their usage. In other words, a vulnerability exists in the software application if it allows violation of these constraints and assumptions. The taxonomy classifies these constraints and assumptions. The model also serves as a basis for the classification scheme the taxonomy uses, in which the computer system resources such as, memory, input/output, and cryptographic resources serve as categories and subcategories. Vulnerabilities, which are expressed in the form of constraints and assumptions, are classified according to these categories and subcategories. This taxonomy is both novel and distinctively different from other taxonomies found in the literature.

연구 동기 및 목표

• 엄격한 검증 및 검증 과정을 지원하기 위해 소프트웨어 취약성을 식별하고 분류하기 위한 체계적 프레임워크를 개발하기.
• 기존 분류 체계의 격차를 메우기 위해 계산 및 시스템 자원 제약 조건의 이론적 모델에 기반한 취약성 분류를 제공하기.
• 메모리, 입출력(I/O), 암호화와 같은 시스템 자원과 관련된 가정 및 제약 조건 위반이 취약성이 발생하는 방식을 명확히 하기.
• 취약성 분석의 정밀도와 추적 가능성을 향상시키기 위해 체계적인 분류 체계를 제공하기.
• 개선된 소프트웨어 보증을 위해 자원 기반의 타겟팅된 테스트 및 검증 전략 개발을 지원하기.

제안 방법

• 소프트웨어 응용 프로그램, 시스템 자원, 그리고 그 사용을 규율하는 제약 조건 및 가정 간의 관계를 정의하는 이론적 모델을 제안한다.
• 메모리, 입력/출력(I/O), 암호화 자원과 같은 시스템 자원을 기반으로 취약성을 분류하며, 계층적 분류 체계를 사용한다.
• 자원의 행동 및 사용에 대한 형식화된 제약 조건과 가정 위반으로서 취약성을 표현한다.
• 자원 카테고리와 하위 카테고리를 기반으로 분류 체계를 구성하여, 취약성 유형의 체계적 매핑을 가능하게 한다.
• 특정 자원 영역에 맞는 검증 및 검증 전략을 유도하기 위해 분류 체계를 적용한다.
• 각 취약성이 정의된 시스템 자원 맥락 내에서 특정 제약 조건 또는 가정 위반과 연결되도록 프레임워크를 수립한다.

실험 결과

연구 질문

• RQ1 기본적인 제약 조건과 가정에 기반해 소프트웨어의 취약성을 어떻게 체계적으로 분류할 수 있는가?
• RQ2 시스템 자원의 행동과 소프트웨어 취약성의 발생 간의 관계는 무엇인가?
• RQ3 자원 사용에 대한 가정 위반이 어떻게 악용 가능한 취약성을 초래하는가?
• RQ4 시스템 자원 카테고리에 뿌리를 두고 있는 분류 체계가 검증 및 검증 전략 설계를 어떻게 향상시킬 수 있는가?
• RQ5 이 분류 체계는 이론적 기반과 구조적 명확성 측면에서 기존의 취약성 분류 모델과 무엇이 다른가?

주요 결과

• 이 분류 체계는 시스템 자원 제약 조건과 가정에 직접 연결하여 취약성을 이론적으로 기반한 새로운 접근법을 제공한다.
• 취약성은 메모리, 입출력(I/O), 암호화 자원과 관련된 제약 조건 또는 가정 위반으로서 형식적으로 정의된다.
• 분류 체계는 특정 자원 유형으로의 취약성 정확한 매핑을 가능하게 하여 추적 가능성과 분석 능력을 향상시킨다.
• 자원 기반의 위협 표면을 식별함으로써, 자원 중심의 검증 및 검증 전략 개발을 지원한다.
• 모델은 취약성이 고립된 결함이 아니라 제약 조건 이행 또는 가정의 타당성에 대한 체계적 실패임을 입증한다.
• 이 접근법은 자원 수준의 추상화가 취약성 생성에 미치는 역할을 강조함으로써 이전의 분류 체계보다 뚜렷한 이점을 제공한다.