[论文解读] On Vulnerabilities, Constraints and Assumptions

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

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和密码学等系统资源相关的假设与约束的违反。
• 提供一种系统化的分类方案，以增强软件安全中漏洞分析的精确性与可追溯性。
• 支持针对特定资源设计的测试与验证策略，以提升软件保障水平。

提出的方法

• 提出一个理论模型，定义软件应用、系统资源以及其使用所受约束与假设之间的关系。
• 基于漏洞所利用的系统资源（如内存、输入/输出和加密资源）对漏洞进行分类，采用分层分类方案。
• 将漏洞表示为对资源行为与使用相关形式化约束和假设的违反。
• 以资源类别及其子类别为基础组织分类法，实现对漏洞类型的系统化映射。
• 将分类法应用于推导针对特定资源领域量身定制的验证与确认策略。
• 建立一个框架，使每个漏洞均可追溯至特定系统资源上下文中的某个约束或假设违反。

实验结果

研究问题

• RQ1 如何基于其底层约束与假设，对软件漏洞进行系统化分类？
• RQ2 系统资源行为与软件漏洞产生之间存在何种关系？
• RQ3 对资源使用假设的违反以何种方式导致可利用的漏洞？
• RQ4 基于系统资源类别的分类法如何改善验证与确认策略的设计？
• RQ5 与现有漏洞分类模型相比，该分类法在理论基础与结构清晰度方面有何区别？

主要发现

• 该分类法提供了一种新颖的、以理论为基础的漏洞分类方法，通过将漏洞与系统资源约束及假设直接关联。
• 漏洞被形式化定义为对与内存、I/O和加密资源相关的约束或假设的可利用违反。
• 该分类方案可将漏洞精确映射至特定资源类型，显著提升可追溯性与分析能力。
• 该框架通过识别资源特定的威胁面，支持开发针对性的验证与确认策略。
• 该模型表明，漏洞并非孤立缺陷，而是约束强制或假设有效性方面系统性失败的结果。
• 该方法相较于以往分类法具有显著优势，强调了资源级抽象在漏洞形成中的核心作用。