自己インテグリティ検証と自己書換えに基づく耐タンパーソフトウェアの構成方法

摘要

A method of constructing tamper resistant software resistant to malicious modification is proposed. It uses a primitive based on self integrity verification and self-modifying. In the method, the primitive repeatedly processes target program to enhance tamper resistance of the program. If the created tamper resistant software is modified, then it makes, with high probablity, unexpected malfunction such as error at runtime. So, it is difficult for attacker to modify or analyse it. As the number of processing increases, the success probability of static analysis decreases and the cost of dynamic analysis increases.%機能改変困難性を持つ耐タンパーソフトウェアを構成する方法を提案する．提案方法は，対象ソフトウェアに対して，自己インテグリティ検証と自己書換えを組み合わせた要素技術を繰り返し適用して耐タンパー化を施す．提案要素技術を適用されたソフトウェアは，データやアルゴリズムの改変が行われると，エラーを含む予測困難な動作を実行時に高い確率で発生するため，攻撃者の改変と解析を困難にする効果を持つ．適用回数を増やすことで静的な攻撃の成功確率を下げ動的な攻撃のコストを増大させることができる．