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

2017 年度 実施状況報告書

トラスト基盤におけるセキュリティ評価手法の工学的および経済学的研究

研究課題

研究課題/領域番号 17KT0081
研究機関東京大学

研究代表者

松浦 幹太  東京大学, 生産技術研究所, 教授 (00292756)

研究期間 (年度) 2017-07-18 – 2022-03-31
キーワードトラスト基盤 / ブロックチェーン / 暗号通貨 / 高機能暗号 / セキュリティ経済学
研究実績の概要

緩やかな連携先と立ち上げているトラスト基盤(ブロックチェーン)のテストネットワークにおいて、ノードの整備が順調に進んだ。具体的には、発足当初6つであったものが、平成30年1月現在で26個(南北アメリカに7、アジアに7、ヨーロッパに11、アフリカに1)となった。これにより、平成31~32年度に予定している実装評価実験の質を確保できる可能性が高まった。
工学的研究では、まず、高機能暗号の研究において、秘密鍵が漏洩した場合でも漏洩前の処理結果に悪影響が出ない鍵漏洩耐性の研究で完成度の高い成果を得た(主要な国内会議で学生論文賞を受賞)。これは、従来よりも広いクラスの漏洩に耐えられることが高く評価された結果である。ただし、安全性証明の帰着先は、典型的な公開鍵暗号と同様のものであって、トラスト基盤特有のものではない。工学的研究のもう一つの柱である人工知能のセキュリティに関しては、ブラックボックス攻撃(「攻撃者が学習器の内部情報を知らない」という状況での攻撃)の研究で先駆的な成果を得た。具体的には、フィンテック応用に相応しいモデルのもとで、人工知能を騙す現実的な攻撃があることを示した。これにより、平成30年度以降の本研究の意義が高まった。
経済学的な研究では、暗号通貨よりもさらに広義のブロックチェーン応用プロトコルにおいて、リスク管理に有効な経済学的モデルの一般化を進めた。その結果、システムで扱われるトークンを4つの属性に着目してモデル化できることが明らかとなった。うち2つは、暗号通貨の交換レートのような確率過程の実現値である。詳しい内容は、国際誌の招待論文として執筆中である。また、ブロックチェーンを応用したプロトコルとして、データベース上の記録を所定のタイミングで消去するなどして情報のライフサイクルを制御する技術を開発し、そのプロトタイプ実装を工学的および経済学的に評価した。

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

トラスト基盤のテストネットワークにおいてノードの整備が順調に進み、全世界に26個までになった。さらに拡大基調にあり、本研究で予定している実装評価実験の実施環境が整いつつある。また、工学的研究と経済学的研究で初年度に予定していた個別研究のうち、初年度に予定していて完了しなかった研究が1件あるが(安全性証明の帰着先としてトラスト基盤に特有の問題を利用する研究)、受賞を伴う成果1件(高機能暗号の研究)や国際誌の招待論文となることが決まった成果1件(トラスト基盤に関する経済学的モデルの研究)がある。さらに、平成30年度以降に予定していた実験の1つ(トラスト基盤における少数ノードでのアプリケーションのプロトタイプ実装)を前倒しして実施して定量的な評価も終えることができた。
以上要するに、予定より遅れている側面が1つ、早まっている側面が1つ、他は計画通りである。よって、総合的に考えれば、概ね順調に進んでいると言える。

今後の研究の推進方策

テストネットワークの整備は、同等の環境を利用した技術コンペティションの実施などにより、技術レベルの強化と緩やかな連携ネットワークの拡大を進める。また、初年度にプロトタイプ実装を前倒しでできたことを活用し、人工知能へのブラックボックス攻撃対策と関連づけたアプリケーションの実装を、当初予定の平成31年度から平成30年度に前倒しして開始する。
予定よりも遅れている研究(安全性証明の帰着先としてトラスト基盤に特有なものを利用する研究)に関しては、順調に進んでいる経済学的モデルの研究成果を活用して解決することを試みる。具体的には、確率過程の実現値(例えば、直近の取引時の股間レート)から一方向的に算出した数値をアプリケーション固有のコンテンツに反映させるようなリンクの生成方法を考える。これにより、トークンモデルの性質自体を帰着先にできる可能性がある。
その他の計画通りに進んでいる研究項目に関しては、当初計画通りに継続する。具体的には、平成30年度は、個別成果の完成度を高めるとともに、その中からさらに厳選して本研究の研究期間後半における本格的な実装評価研究に反映させるものを選ぶ。

  • 研究成果

    (11件)

すべて 2018 2017 その他

すべて 国際共同研究 (1件) 学会発表 (10件) (うち国際学会 1件、 招待講演 1件)

  • [国際共同研究] マサチューセッツ工科大学(米国)

    • 国名
      米国
    • 外国機関名
      マサチューセッツ工科大学
  • [学会発表] 深層学習に対する効率的なAdversarial Examples生成によるブラックボックス攻撃とその対策2018

    • 著者名/発表者名
      先崎佑弥, 大畑幸矢, 松浦幹太
    • 学会等名
      2018年暗号と情報セキュリティ・シンポジウム(SCIS2018)
  • [学会発表] 暗号通貨を用いたワンショット型の公平なストレージサービス2018

    • 著者名/発表者名
      今田丈雅, 松浦幹太
    • 学会等名
      2018年暗号と情報セキュリティ・シンポジウム(SCIS2018)
  • [学会発表] 公開鍵型検索可能暗号を用いた適応的安全な匿名鍵ポリシー型属性ベース暗号の一般的構成2018

    • 著者名/発表者名
      林田淳一郎, 石坂理人, 坂井祐介, 花岡悟一郎, 松浦幹太
    • 学会等名
      2018年暗号と情報セキュリティ・シンポジウム(SCIS2018)
  • [学会発表] POW型ブロックチェーン安全性証明の明示的定式化2018

    • 著者名/発表者名
      細井琢朗, 松浦幹太
    • 学会等名
      第80回情報処理学会コンピュータセキュリティ研究会
  • [学会発表] Defender Movement: Significant Productivity Improvement of Mutually-unknown Defenders by Open Internet-based Collaboration2017

    • 著者名/発表者名
      Kanta Matsuura
    • 学会等名
      2017 USENIX Summit on Hot Topics in Security
    • 国際学会
  • [学会発表] 深層学習におけるAdversarial Trainingによる副作用とその緩和策2017

    • 著者名/発表者名
      先崎佑弥, 大畑幸矢, 松浦幹太
    • 学会等名
      コンピュータセキュリティシンポジウム2017(CSS2017)
  • [学会発表] Continual Auxiliary Leakageに耐性を持つ適応的安全な述語署名2017

    • 著者名/発表者名
      石坂理人, 松浦幹太
    • 学会等名
      コンピュータセキュリティシンポジウム2017(CSS2017)
  • [学会発表] ブロックチェーンと秘密分散法を用いた情報ライフサイクル制御2017

    • 著者名/発表者名
      今田丈雅, 松浦幹太
    • 学会等名
      コンピュータセキュリティシンポジウム2017(CSS2017)
  • [学会発表] ブロックチェーンと信頼関係のもたらす防御者革命2017

    • 著者名/発表者名
      松浦幹太
    • 学会等名
      「ブロックチェーンの未来」ワークショップ
  • [学会発表] ブロックチェーン応用のモデルと金融工学2017

    • 著者名/発表者名
      松浦幹太
    • 学会等名
      Blockchain EXE #4「ブロックチェーン技術の活用ポイント~既存技術との融合」
    • 招待講演

URL: 

公開日: 2018-12-17   更新日: 2022-02-16  

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

Powered by NII kakenhi