Practical software theft detection with software birthmarks

本研究の目的は，専門知識なしに，ソフトウェアの盗用の検出が行えるシステムの構築にある．そのために(A) 動的バースマークの抽出の自動化，(B) バースマークの判定基準の改善，(C) 検査対象規模の拡大，そして (D) バースマークの堅牢性評価という4つの研究課題を挙げている．従来，動的解析が必要な動的バースマークの抽出には，同じような経路を通るようにするため，人手による入力の調整が必要であった．しかし，先行研究により，原告ソフトウェア（盗用ではない出自が明らかなもの）に限れば，単体テストを用いることで，動的バースマークの自動抽出が行えるようになった．(A)ではこの手法の被告ソフトウェアへの拡張を狙う．そのために，テストの自動生成技術を用いて単体テストを生成し，従来手法の適用を考える．本年は主に(A)に取り組み，シンボリック実行技術を用いて，原告から入力を導出し，得られた入力をそのまま被告にも与えられるようになった．ただし，入力を導出できるプログラムの規模は小規模なものであり，大規模なプログラムに対しては対応できていない．一方，プロジェクトを特徴付けるメトリクスについても調査した．GitHubは広く一般に使われるプロジェクトホスティングサービスである．つまり，このGitHubに登録されているプロジェクトは原告ソフトウェアとして利用できることになる．そこでGitHubの任意のプロジェクトの特徴を抽出するツールを作成した．ここで得られた特徴は，引いてはプログラムの特徴にも紐付けられると期待できる．これはつまり，原告ソフトウェアに限定されるものの，(C) 検査対象規模の拡大の成果に結びつく．

本研究の目的は，専門知識なしに，ソフトウェアの盗用の検出が行えるシステムの構築にある．そのために(A) 動的バースマークの抽出の自動化，(B) バースマークの判定基準の改善，(C) 検査対象規模の拡大，そして (D) バースマークの堅牢性評価という4つの研究課題を挙げている．従来，動的解析が必要な動的バースマークの抽出には，同じような経路を通るようにするため，人手による入力の調整が必要であった．しかし，先行研究により，原告ソフトウェア（盗用ではない出自が明らかなもの）に限れば，単体テストを用いることで，動的バースマークの自動抽出が行えるようになった．(A)ではこの手法の被告ソフトウェアへの拡張を狙う．そのために，テストの自動生成技術を用いて単体テストを生成し，従来手法の適用を考える．本年は主に(A)に取り組み，シンボリック実行技術を用いて，原告から入力を導出し，得られた入力をそのまま被告にも与えられるようになった．ただし，入力を導出できるプログラムの規模は小規模なものであり，大規模なプログラムに対しては対応できていない．一方，プロジェクトを特徴付けるメトリクスについても調査した．GitHubは広く一般に使われるプロジェクトホスティングサービスである．つまり，このGitHubに登録されているプロジェクトは原告ソフトウェアとして利用できることになる．そこでGitHubの任意のプロジェクトの特徴を抽出するツールを作成した．ここで得られた特徴は，引いてはプログラムの特徴にも紐付けられると期待できる．これはつまり，原告ソフトウェアに限定されるものの，(C) 検査対象規模の拡大の成果に結びつく．