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

コード書換攻撃等による情報漏洩を連携し抑止するセキュアなコンパイラとOSの開発

研究課題

研究課題/領域番号 15K00112
研究種目

基盤研究(C)

配分区分基金
応募区分一般
研究分野 ソフトウェア
研究機関立命館大学

研究代表者

国枝 義敏  立命館大学, 情報理工学部, 教授 (90153311)

研究分担者 上原 哲太郎  立命館大学, 情報理工学部, 教授 (20273485)
毛利 公一  立命館大学, 情報理工学部, 教授 (90313296)
瀧本 栄二  立命館大学, 情報理工学部, 助教 (90395054)
研究期間 (年度) 2015-04-01 – 2020-03-31
研究課題ステータス 完了 (2019年度)
配分額 *注記
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2019年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2018年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2017年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2016年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2015年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
キーワード対攻撃耐性向上 / セキュアシステム / ディペンダブルシステム / コンパイラ / オペレーティングシステム / システムコールトレース手法 / 保護ポリシ / 対攻撃体制 / ディペンダブル / OS / システムコール
研究成果の概要

本研究では、任意のユーザプログラムの攻撃耐性を強化し、一言で言えば、攻撃者が目指す情報漏洩に対する最終防衛ラインの形成を図る。具体的には、(1)OSによるユーザプログラムの実行監視を格段に強化させ、システムコールの発行時に、その実行可否を元のプログラムの意味とファイルの権限に遡って検査する機構、(2)機密データには、アクセス権限情報を付加し、同データのコピー時にはアクセス権限情報付きで伝播させ、システムが機密情報を必ず保護できるようにする機構、この2種の機構を実際に具体化し、どう実現するかを研究、提案した。

研究成果の学術的意義や社会的意義

クラウドコンピューティングの例を出すまでもなく、企業経営、個人情報等にかかる貴重なデータは、コンピュータをネットワークに接続した途端、悪意ある他者にさらされる危険性がある。こうした社会基盤そのものを揺るがすような危険な攻撃に対し、本研究の成果である提案手法は、コンパイラとOSとの連携により、これまでに類を見ないレベルの強力な安全性を獲得することへの具体的な道筋を、その実現可能性も含め示した。これにより、現在のコンピュータシステムの基盤であるシステムソフトウェア群から攻撃耐性を向上させることができ、社会的意義は計り知れないと考えられる。

報告書

(6件)
  • 2019 実績報告書   研究成果報告書 ( PDF )
  • 2018 実施状況報告書
  • 2017 実施状況報告書
  • 2016 実施状況報告書
  • 2015 実施状況報告書
  • 研究成果

    (14件)

すべて 2019 2018 2017 2016 2015

すべて 雑誌論文 (3件) (うち査読あり 3件、 オープンアクセス 3件) 学会発表 (11件)

  • [雑誌論文] 情報流解析における制約付き機密度パラメータ2019

    • 著者名/発表者名
      桑原 寛明、國枝 義敏
    • 雑誌名

      コンピュータ ソフトウェア

      巻: 36 号: 4 ページ: 4_39-4_45

    • DOI

      10.11309/jssst.36.4_39

    • NAID

      130007772585

    • ISSN
      0289-6540
    • 年月日
      2019-10-25
    • 関連する報告書
      2019 実績報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] コンパイラを用いた情報フロー制御による情報漏洩防止機構2016

    • 著者名/発表者名
      奥野 航平,内匠 真也,大月 勇人,瀧本 栄二,毛利 公一
    • 雑誌名

      情報処理学会論文誌

      巻: 57 ページ: 2836-2848

    • NAID

      110009884205

    • 関連する報告書
      2016 実施状況報告書
    • 査読あり / オープンアクセス
  • [雑誌論文] コンパイラとOSの連携によるデータフロー追跡手法2015

    • 著者名/発表者名
      内匠 真也,奥野 航平 ,大月 勇人,瀧本 栄二,毛利 公一
    • 雑誌名

      情報処理学会論文誌

      巻: 56 ページ: 2313-2323

    • NAID

      110009884204

    • 関連する報告書
      2015 実施状況報告書
    • 査読あり / オープンアクセス
  • [学会発表] 情報流解析における制約付き機密度パラメータ2018

    • 著者名/発表者名
      桑原 寛明,國枝 義敏.
    • 学会等名
      ソフトウェア工学の基礎 XXV (FOSE 2018)
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] Java Stream APIによるストリーム操作の停止性検査のための型システム2018

    • 著者名/発表者名
      長谷川 健太,桑原 寛明,國枝 義敏.
    • 学会等名
      ソフトウェア工学の基礎 XXV (FOSE 2018)
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] JavaのStream APIによるストリーム操作の停止性を検査する型システム2018

    • 著者名/発表者名
      長谷川 健太,吉田 真也,桑原 寛明,上原 哲太郎,國枝 義敏.
    • 学会等名
      第20回プログラミングおよびプログラミング言語ワークショップ(PPL2018)
    • 関連する報告書
      2018 実施状況報告書
  • [学会発表] 情報漏洩防止のためのTCPによるネットワークワイドなテイント追跡手法2017

    • 著者名/発表者名
      松本 隆志,明田 修平,瀧本 栄二,齋藤 彰一,毛利 公一
    • 学会等名
      情報処理学会研究報告 2017-CSEC-79
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] Java Stream API によるストリーム操作の停止性検査のための型システム2017

    • 著者名/発表者名
      長谷川健太、桑原 寛明、上原 哲太郎、國枝 義敏
    • 学会等名
      第24回ソフトウェア工学の基礎ワークショップ - FOSE2017
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] グラフDBを用いたプログラム解析の実現に向けて2017

    • 著者名/発表者名
      内西功一、桑原 寛明、國枝 義敏
    • 学会等名
      第24回ソフトウェア工学の基礎ワークショップ - FOSE2017
    • 関連する報告書
      2017 実施状況報告書
  • [学会発表] 動的テイント解析機能を利用したOSによる細粒度データ出力制御手法2016

    • 著者名/発表者名
      松本 隆志,明田 修平,瀧本 栄二,齋藤 彰一,毛利 公一
    • 学会等名
      情報処理学会研究報告 CSEC-75
    • 発表場所
      公立はこだて未来大学(北海道、函館市)
    • 年月日
      2016-12-01
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] GPGPUによるレインボーテーブル生成の高速化2016

    • 著者名/発表者名
      兼松 卓也、桑原 寛明、上原 哲太郎、國枝 義敏
    • 学会等名
      コンピュータセキュリティシンポジウム2016
    • 発表場所
      秋田キャッスルホテル(秋田県、秋田市)
    • 年月日
      2016-10-13
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] Hybrid MPI/OpenMPによる網羅率100%のレインボーテーブル生成の高速化2016

    • 著者名/発表者名
      安藤 公希、桑原 寛明、上原 哲太郎、國枝 義敏
    • 学会等名
      コンピュータセキュリティシンポジウム2016
    • 発表場所
      秋田キャッスルホテル(秋田県、秋田市)
    • 年月日
      2016-10-11
    • 関連する報告書
      2016 実施状況報告書
  • [学会発表] 情報量に基づく非機密化プリミティブの記述位置候補の順位付け2015

    • 著者名/発表者名
      桑原 寛明,國枝 義敏
    • 学会等名
      ソフトウェア工学の基礎 XXII (FOSE 2015)
    • 発表場所
      ほほえみの宿 滝の湯(山形県 天童市)
    • 年月日
      2015-11-26
    • 関連する報告書
      2015 実施状況報告書
  • [学会発表] MPI並列処理によるレインボーテーブル生成の高速化2015

    • 著者名/発表者名
      安藤 公希,桑原 寛明,上原 哲太郎,國枝 義敏
    • 学会等名
      コンピュータセキュリティシンポジウム2015(CSS2015)論文集
    • 発表場所
      長崎ブリックホール(長崎県 長崎市)
    • 年月日
      2015-10-21
    • 関連する報告書
      2015 実施状況報告書

URL: 

公開日: 2015-04-16   更新日: 2021-02-19  

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

Powered by NII kakenhi