[論文レビュー] 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、暗号リソースに関連する制約または仮定の利用可能な違反として形式的に定義される。
• 分類スキームにより、脆弱性が特定のリソースタイプに正確にマッピング可能となり、トレーサビリティおよび分析が向上する。
• フレームワークにより、リソース固有の脅威表面を特定することで、リソースに特化した検証および検証戦略の開発を支援する。
• モデルは、脆弱性が孤立した欠陥ではなく、制約の履行または仮定の妥当性に関するシステム的失敗であることを示している。
• 本アプローチは、脆弱性形成におけるリソースレベルの抽象化の役割を強調することで、先行する分類体系に優位性を示す。