JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/4427
|
タイトル: | Software Obfuscation on a Theoretical Basis and Its Implementation |
著者: | OGISO, Toshio SAKABE, Yusuke SOSHI, Masakazu MIYAJI, Atsuko |
キーワード: | tamper-resistant software obfuscation static analysis computational complexity |
発行日: | 2003-01 |
出版者: | 電子情報通信学会 |
誌名: | IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences |
巻: | E86-A |
号: | 1 |
開始ページ: | 176 |
終了ページ: | 186 |
抄録: | Software obfuscation is a promising approach to protect intellectual property rights and secret information of software in untrusted environments. Unfortunately previous software obfuscation techniques share a major drawback that they do not have a theoretical basis and thus it is unclear how effective they are. Therefore we propose new software obfuscation techniques in this paper. The techniques are based on the difficulty of interprocedural analysis of software programs. The essence of our obfuscation techniques is a new complexity problem to precisely determine the address a function pointer points to in the presence of arrays of function pointers. We show that the problem is NP-hard and the fact provides a theoretical basis for our obfuscation techniques. Furthermore, we have already implemented a prototype tool that obfuscates C programs according to our proposed techniques and in this paper we describe the implementation and discuss the experiments results. |
Rights: | Copyright (C)2003 IEICE. Toshio OGISO, Yusuke SAKABE, Masakazu SOSHI, Atsuko MIYAJI, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, E86-A(1), 2003, 176-186. http://www.ieice.org/jpn/trans_online/ (許諾番号:08RB0093) |
URI: | http://hdl.handle.net/10119/4427 |
資料タイプ: | publisher |
出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
ファイル |
記述 |
サイズ | 形式 |
73-29.pdf | | 746Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|