ソフトウエア難読化技術の安全性に関する理論的解析と統一的性能指標の確立

软件混淆技术安全性理论分析及统一性能指标建立

• 批准号: 15650002
• 负责人: 櫻井 幸一
• 金额: $ 2.11万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Exploratory Research
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 2004
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15650002/
• 关键词: 難読化; プログラム; JAVA; オブジェクト指向言語; クラスファイル; 乱数; 静的解析; 電子透かし; 著作権保護; ソフトウエア工学

前年度における検討事項(A)Golreichらによる、理想的(絶対安全な)なソフトウエア難読化は存在しない、という定理での一方向性関数や擬似乱数を、鍵(落とし戸)付き一方向性関数に置き換えた場合の解析。(B)難読化の安全性がNP困難の理論を用いて証明された、と主張している方式を実装し、特に小さなサイズのプログラムに対してどの程度、安全性が保障できるか、その耐性の理論的・実験的評価。(c)既存(市販)の難読化ソフトへの動的な解析の適用。さらに動的に解析を防ぐ新たな難読化手法の設計。をうけて、平成16年度は、初年度で検討し、洗い出した問題点の解決策を中心に次を検討する。特に、15年度の結果に基づき、難読化の安全性指標を数値化し、これに基づき、既存の方式・新たな提案方式を評価した。今回提案した手法では、プログラム中のmain関数内の制御を複雑にすることでプログラム全体の動作の解析を困難なものにすることをこころみた。この制御構造の複雑化にあたって、静的解析(プログラムを実行することなくソースコードのみを見てプログラムを解析する手法)では予測不可能な乱数を用いた。さらに、この方式の動的解析に対する脆弱性も検討した。

In the previous year, we discussed the problem (A)Golreich, ideal (absolute safety), difficult to transform, existence, theorem, directional relation, pseudo-random number, key (fall), directional relation, and transformation. (B)This paper reviews the theory of NP-difficulty in security protection and its application in proving, asserting and implementing the method of security protection. (c)Existing (market) and difficult to change the software dynamic analysis and application. The analysis and design of the new method of dynamic analysis. In 2016, the first year of the year, the first year of the year, the second year of the year, the first year of the year, the second year of the year, the third year of the year, the fourth year of the year, the year of the year of the year, the year of the year of the year, the year of In particular, the results of the year 15 are based on the evaluation of safety indicators that are difficult to develop, the evaluation of existing methods, and the evaluation of new proposals. This paper proposes a method to control the main part of the system, which is difficult to analyze. The complex and static analysis of this control structure (a method that makes it easy to see the heart of the platform for implementation) makes it impossible to predict random numbers. Analysis of the vulnerability of this type of activity

项目成果

福島 和英, 田端 利宏, 櫻井 幸一: "Javaクラスファイルの等価変換に耐性を持つプログラム指紋抽出法"情報処理学会コンピュータセキュリティ(CSEC)研究会,情報処理学会研究報告. 2003・126. 81-86 (2003)

Kazuhide Fukushima、Toshihiro Tabata、Koichi Sakurai：“抵抗Java类文件等价转换的程序指纹提取方法”日本信息处理学会计算机安全（CSEC）研究小组，日本信息处理学会研究报告2003・126。 81-86（2003）

乱数を用いたプログラム制御構造の難読化手法の提案

使用随机数的程序控制结构混淆方法的提出

• 发表时间: 2005
• 期刊: 暗号と情報セキュリティシンポジウム(SCIS)予稿集
• 作者: 豊福達也;田端利宏;櫻井幸一
• 通讯作者: 櫻井幸一

Kazuhide FUKUSHIMA, Kouichi SAKURAI: "A Software Fingerprinting Scheme for Java Using Classfiles Obfuscation"Proc.of the 4th International Workshop on Information Security Applications(WISA2003). 337-350 (2003)

Kazuhide FUKUSHIMA、Kouichi SAKURAI：“使用类文件混淆的 Java 软件指纹识别方案”第四届信息安全应用国际研讨会 (WISA2003) 的会议记录。

福島 和英, 田端 利宏, 櫻井 幸一: "カプセル化構造の部分的な破壊によるJavaソースコードの難読化手法の提案"電気関係学会九州支部連合大会(第56回連合大会). (2003)

Kazuhide Fukushima、Toshihiro Tabata、Koichi Sakurai：“通过部分破坏封装结构来混淆 Java 源代码的方法的提案”电气工程学会九州分会（第 56 届联盟会议）（2003 年）。

Kazuhide FUKUSHIMA, T.TABATA, K.SAKURAI: "Proposal and Evaluation of Obfuscation Scheme for Java Source Codes by Partial Destruction of Encapsulation"Proc.of International Symposium on Information Science and Electrical Engineering 2003(ISEE 2003). 389-39

Kazuhide FUKUSHIMA、T.TABATA、K.SAKURAI：“通过部分破坏封装对 Java 源代码混淆方案的建议和评估”Proc. of International Symposium on Information Science and Electrical Engineering 2003 (ISEE 2003)。