C言語からHaskellへの変換によるプログラム難読化

• Item type: SIG Technical Reports(1)
• 公開日: 2017-07-19
• タイトル: C言語からHaskellへの変換によるプログラム難読化
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 信頼性
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 筑波大学
• 著者所属: 筑波大学
• 著者所属: 筑波大学
• 著者所属: 筑波大学
• 著者所属(英): en
• 著者所属(英): University of Tsukuba
• 著者所属(英): en
• 著者所属(英): University of Tsukuba
• 著者所属(英): en
• 著者所属(英): University of Tsukuba
• 著者所属(英): en
• 著者所属(英): University of Tsukuba
• 著者名: 大羽, 史将; 加藤, 和彦; 阿部, 洋丈; 長谷部, 浩二
• 著者名(英): Fumiyuki, Ooba; Kazuhiko, Kato; Hirotake, Abe; Koji, Hasebe
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: プログラムの難読化とは，同じ動作のまま元のプログラムを人間や解析ツールが解読しづらい形式に変換する技術である．そのうちの 1 つに，Wang らが提案した 「言語変換による難読化」 という方式がある．Wang らは C 言語のプログラムを論理型言語 Prolog のものに変換し，各言語間の実行モデルの違いを利用することで難読化を実現した．しかし，変換後のプログラムの実行時間が平均約 150 倍増加するという問題点があった．そこで本研究では，実行性能の低下を抑えつつ言語変換による難読化を実現するために，C 言語プログラムを純粋関数型言語 Haskell のそれに変換する手法を提案および実装した．この際，既存の C 言語ライブラリを利用するためにメモリの相互運用性は重要な課題である．我々はこれを解決する手法を考案した．そして評価実験により，Wang らの手法と比較して実行性能の低下を抑えられることを示した．
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10444176
• 書誌情報: 研究報告システムソフトウェアとオペレーティング・システム（OS）; 巻 2017-OS-141, 号 4, p. 1-10, 発行日 2017-07-19
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8795
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会