最終更新日：2012年 9月 4日

独立行政法人 情報処理推進機構
セキュリティセンター

情報セキュリティ技術ラボラトリー

本プロジェクトは平成17年度から平成18年度にかけて、総務省からの財源に基づいて行われました。本プロジェクトは既に終了しています。

ソフトウェアのセキュリティを確保しようとするとき、セキュリティの観点からは、究極的には、そのソースコードまでを精査することが期待されます。しかし、セキュリティの観点からソースコードを評価する方法論は、まだ確立されていませんでした。

情報セキュリティ技術ラボラトリーでは、ソフトウェアのソースコードを読解・批評する方法論を確立することを目指した調査研究に取り組みました。この調査研究は、独立行政法人 産業技術総合研究所の情報技術研究部門との協働、および外部の技術者の協力に基づいて実施しました。

性格が異なる複数のソフトウェアを題材として、それぞれに主査を配した体制を構えました。各主査がソースコードの読解・批評活動を率先し、メンバが読解・批評する方法論を観察しながら帰納的に定式化することを試みました。

試行評価環境

実施体制