• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

耐改竄性をもつプログラム言語とそのプログラム開発手法の研究

研究課題

研究課題/領域番号 26540027
研究種目

挑戦的萌芽研究

配分区分基金
研究分野 ソフトウェア
研究機関名古屋大学

研究代表者

酒井 正彦  名古屋大学, 情報科学研究科, 教授 (50215597)

研究協力者 加藤 起騎  
河邉 翔平  
坂梨 元軌  
研究期間 (年度) 2014-04-01 – 2017-03-31
研究課題ステータス 完了 (2016年度)
配分額 *注記
3,510千円 (直接経費: 2,700千円、間接経費: 810千円)
2016年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2015年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2014年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
キーワード難読プログラム / Malbolge / コンパイラ
研究成果の概要

本研究は、プログラム難読化によるソフトウェア保護を目指し、最も難解と考えられている言語Malbolgeによるプログラム手法の開発を目指すものである。研究の結果、C言語サブセットで書かれたプログラムをMalbolgeのワードを拡張したMalbolge20のプログラムに変換できるようになった。
本研究ではまず、ワード長を20桁に伸長したMalbolge20を設計し、インタプリタを作成した。次に、低級アセンブリからMalbolge20をシステム的に作成する手法を構築し、実装した。さらに、C言語サブセットをMalbolge20に変換するコンパイラ構築の基盤となる研究を行い、コンパイラを作成した。

報告書

(4件)
  • 2016 実績報告書   研究成果報告書 ( PDF )
  • 2015 実施状況報告書
  • 2014 実施状況報告書
  • 研究成果

    (9件)

すべて 2016 2015 2014 その他

すべて 雑誌論文 (3件) (うち謝辞記載あり 3件、 査読あり 1件) 学会発表 (1件) 備考 (5件)

  • [雑誌論文] 難読性の高いMalbolgeコードを生成するコンパイラのための中間言語2016

    • 著者名/発表者名
      河邉翔平, 酒井正彦, 西田直樹, 関 浩之
    • 雑誌名

      電子情報通信学会技術報告

      巻: SS2016-12 ページ: 105-101

    • 関連する報告書
      2016 実績報告書
    • 謝辞記載あり
  • [雑誌論文] Construction of an ROBDD for a PB-constraint in band form and related techniques for PB-solvers2015

    • 著者名/発表者名
      Masahiko Sakai and Hidetomo Nabeshima
    • 雑誌名

      IEICE Transaction on Information and Systems

      巻: E98-D ページ: 1121-1127

    • NAID

      130005072390

    • 関連する報告書
      2015 実施状況報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Malbolge 低級アセンブラにおけるコード配置アドレスの決定法2014

    • 著者名/発表者名
      加藤起騎,酒井正彦,坂部俊樹,西田直樹
    • 雑誌名

      電子情報通信学会技術報告

      巻: 114 ページ: 99-104

    • NAID

      110009803955

    • 関連する報告書
      2014 実施状況報告書
    • 謝辞記載あり
  • [学会発表] Esoteric Programming Language Malbolge and Its Low-Level Assembler2014

    • 著者名/発表者名
      Masahiko Sakai and Tatsuki Kato
    • 学会等名
      Meeting of IPSJ Special Interest Group on Programming
    • 発表場所
      Asahikawa
    • 年月日
      2014-07-20
    • 関連する報告書
      2014 実施状況報告書
  • [備考] Malbolge and Malbolge20

    • URL

      https://www.trs.css.i.nagoya-u.ac.jp/Malbolge/index.html.ja

    • 関連する報告書
      2016 実績報告書
  • [備考] Malbolge and Malbolge20

    • URL

      https://www.trs.css.i.nagoya-u.ac.jp/Malbolge/index.html.en

    • 関連する報告書
      2016 実績報告書
  • [備考] Malbolge, Malbolge20

    • URL

      http://www.trs.cm.is.nagoya-u.ac.jp/Malbolge/index.html.ja

    • 関連する報告書
      2015 実施状況報告書
  • [備考] Malbolge, Malbolge20

    • URL

      http://www.trs.cm.is.nagoya-u.ac.jp/Malbolge/index.html.en

    • 関連する報告書
      2015 実施状況報告書
  • [備考] Malbolge

    • URL

      http://www.trs.cm.is.nagoya-u.ac.jp/Malbolge/

    • 関連する報告書
      2014 実施状況報告書

URL: 

公開日: 2014-04-04   更新日: 2018-03-22  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi