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.pdf746KbAdobe PDF見る/開く

当システムに保管されているアイテムはすべて著作権により保護されています。

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係