単体テストコードとアスペクト指向を用いた動的バースマークの抽出コストの削減

• 横井, 昂典

• 玉田, 春昭

書誌事項

タイトル別名

• Reducing the Extraction Cost of Dynamic Software Birthmarks using Unit Test Codes with Aspect Oriented Programming

抄録

盗用の疑いのあるプログラムを発見するために，プログラムの特徴を抽出・比較し類似度を算出するバースマーク手法が提案されている．バースマーク手法では，プログラム中の着目する特徴ごとに異なる手法が提案されている．本稿では特にプログラムの実行時情報を扱う動的バースマークに着目する．動的バースマークの抽出は，入力の準備とプログラムの実行が必要であることから，一般に抽出コストが高い．そこで本稿では，プログラムの単体テストを入力として扱い，また，アスペクト指向を利用し動的バースマーク抽出の自動化を目指す．これによりプログラム理解を省略でき，バースマーク処理全体に要する時間の大幅な削減が期待できる．評価実験では，提案手法を用いて抽出した動的バースマークの保存性，弁別性を評価した．異なるアーティファクトどうしの比較結果は非常に低い類似度を示し（最大0.026，平均0.004），同一アーティファクトの最新から2つのバージョンどうしの比較結果は高い類似度となり（最大0.999，平均0.852），提案手法は保存性・弁別性を持つといえる．次に提案手法，従来手法で抽出した動的バースマークどうしを比較した（実験2）．比較結果は異なるアーティファクトどうしの比較では最大0.039，平均0.013，同一アーティファクトどうしでは最大0.629，平均0.235といずれも低い類似度であった．ただし，異なるアーティファクトどうしの類似度は同一アーティファクトの結果結果に比べ，より顕著に低いため提案手法は有効であると考える．最後に，ProGuardとyGuardを用いて提案手法の攻撃耐性を評価した．実験2の結果との相関係数は0.834（ProGuard），0.999（yGuard）と非常に強い相関を示した（p<0.0001）．

The software birthmark methods calculate the similarity between two characteristics extracted from given programs for detecting the suspected copied programs. There are different birthmark method by focusing on the different characteristics of the programs. This paper focuses on the dynamic birthmarks based on runtime behaviors. To extract the dynamic birthmarks is generally costly, because, it requires preparing the inputs for the programs, and runs them. We spend much time to understand the programs for preparing inputs. The proposed method extracts the dynamic birthmarks through the running the unit test codes in a product via the aspect-oriented programming. For this, the preparing inputs phase is omitted; it is expected to reduce the cost of the birthmarking process dramatically. We conducted experiments to evaluate the resilience and credibility performance of the properties of dynamic birthmarks. At first, we compared the EXESEQ dynamic birthmarks extracted by the proposed method from 9 artifacts, and four versions each. The result showed quite low similarities among different artifacts (max 0.026, mean 0.004). Also, by comparing the latest two versions of the same artifacts, we found high similarities (max 0.999, mean 0.852). Next, we compared the EXESEQ dynamic birthmarks extracted by the proposed method and the conventional method (experiment 2). We found that the similarities among different artifacts are quite low (max 0.039, mean 0.013), and similarities between versions in the same products are relatively high (max 0.629, mean 0.235). Finally, we evaluated the tolerance against some attacks using obfuscation and optimization tools: ProGuard, and yGuard. The result showed that correlation coefficiencies are 0.8344 (ProGuard) and 0.9999 (yGuard) between the similarities from this experiment and the result from experiment 2 (p < 0.0001).

収録刊行物

• 情報処理学会論文誌

  情報処理学会論文誌 60 (7), 1247-1259, 2019-07-15

キーワード

• [一般論文] 動的バースマーク，単体テスト，アスペクト指向，事前抽出

詳細情報

• CRID: 1050564288341443840
• NII論文ID: 170000150482
• NII書誌ID: AN00116647
• ISSN: 18827764
• Web Site: http://id.nii.ac.jp/1001/00198225/
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • CiNii Articles
  • KAKEN