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

計算構造制限下での暗号技術の限界解明

公募研究

研究領域多面的アプローチの統合による計算限界の解明
研究課題/領域番号 25106509
研究種目

新学術領域研究(研究領域提案型)

配分区分補助金
審査区分 理工系
研究機関金沢大学

研究代表者

安永 憲司  金沢大学, 電子情報学系, 助教 (50510004)

研究期間 (年度) 2013-04-01 – 2015-03-31
研究課題ステータス 完了 (2014年度)
配分額 *注記
4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
2014年度: 2,470千円 (直接経費: 1,900千円、間接経費: 570千円)
2013年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
キーワード誤り訂正符号 / 計算構造 / 暗号技術
研究実績の概要

本研究では、計算構造の制限下における暗号技術の存在限界を解明することを目的としている。
情報セキュリティの完全性に関わる暗号技術として、誤り訂正符号がある。データを通信・保存して取り出す際に、データの誤りを検出・訂正する技術である。ブラックボックス構成による存在限界が明らかになっていなかった誤り訂正符号に着目し、その限界を明らかにすることを目指した。特に、最悪ケース通信路をより現実的な範囲に限定した、計算量制限通信路に着目し、既存研究で明らかになっていなかった、挿入可能誤り数に制限がない場合の訂正限界の解明を目指した。
まず、擬似ランダムな誤りが挿入される場合は、効率的な誤り訂正が不可能であることがわかった。この議論から、エントロピーが入力長の任意の多項式オーダーであるような比較的小さい誤りであっても、効率的に訂正不可能なものが存在することがわかった。この議論には、一方向性関数の存在を仮定する必要があるが、このような不可能性の議論には一方向性関数の存在性が必要であることも分かった。また、誤りのエントロピーが対数関数より真に大きい程度の、非常に小さい場合であっても、効率的な誤り訂正が望めないこ とを明らかにした。より具体的には、あるオラクルへのアクセスを許す環境において、効率的にサンプル可能であるが、効率的に訂正不可能な誤りが存在することを示した。この結果から、誤りの効率的なサンプル可能性を利用した、誤り訂正符号のブラックボックス構成が不可能であることが明らかになった。この不可能性の結果は、符号化レートがある程度以下の場合の不可能性であったが、それより高い符号化レー トの場合には、より強力な、情報理論的な不可能性を示すことができる。つまり、誤りの効率的なサンプル可能性を利用した符号の構成はすべての符号化レートにおいて不可能であることが明らかになった.

現在までの達成度 (段落)

26年度が最終年度であるため、記入しない。

今後の研究の推進方策

26年度が最終年度であるため、記入しない。

報告書

(2件)
  • 2014 実績報告書
  • 2013 実績報告書
  • 研究成果

    (14件)

すべて 2015 2014 2013

すべて 雑誌論文 (4件) (うち査読あり 4件) 学会発表 (10件)

  • [雑誌論文] Post-Challenge Leakage Resilient Public-Key Cryptosystem in Split State Model2015

    • 著者名/発表者名
      Eiichiro Fujisaki, Akinori Kawachi, Ryo Nishimaki, Keisuke Tanaka, Kenji Yasunaga
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E98.A 号: 3 ページ: 853-862

    • DOI

      10.1587/transfun.E98.A.853

    • NAID

      130004770983

    • ISSN
      0916-8508, 1745-1337
    • 関連する報告書
      2014 実績報告書
    • 査読あり
  • [雑誌論文] Randomness Leakage in the KEM/DEM Framework2014

    • 著者名/発表者名
      Hitoshi Namiki, Keisuke Tanaka, and Kenji Yasunaga
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E97.A 号: 1 ページ: 191-199

    • DOI

      10.1587/transfun.E97.A.191

    • NAID

      130003385344

    • ISSN
      0916-8508, 1745-1337
    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] Leakage-Resilience of Stateless/Stateful Public-Key Encryption from Hash Proofs2013

    • 著者名/発表者名
      Manh Ha Nguyen, Kenji Yasunaga, Keisuke Tanaka
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E96.A 号: 6 ページ: 1100-1111

    • DOI

      10.1587/transfun.E96.A.1100

    • NAID

      10031193795

    • ISSN
      0916-8508, 1745-1337
    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [雑誌論文] Game-theoretic security for bit commitment2013

    • 著者名/発表者名
      Haruna Higo, Keisuke Tanaka, and Kenji Yasunaga
    • 雑誌名

      Lecture Notes in Computer Science

      巻: 8231 ページ: 303-318

    • DOI

      10.1007/978-3-642-41383-4_20

    • ISBN
      9783642413827, 9783642413834
    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [学会発表] ユーザビリティ向上のための部分的パスワード共有による影響2015

    • 著者名/発表者名
      湯澤 孝介, 安永 憲司, 満保 雅浩
    • 学会等名
      第32回暗号と情報セキュリティシンポジウム
    • 発表場所
      北九州市
    • 年月日
      2015-01-20 – 2015-01-23
    • 関連する報告書
      2014 実績報告書
  • [学会発表] cookie 漏洩に起因する被害の低減手法の構築と考察2015

    • 著者名/発表者名
      高橋寛弥, 安永憲司, 満保雅浩
    • 学会等名
      第32回暗号と情報セキュリティシンポジウム
    • 発表場所
      北九州市
    • 年月日
      2015-01-20 – 2015-01-23
    • 関連する報告書
      2014 実績報告書
  • [学会発表] 検証者が報酬を下げることができない合理的な証明2015

    • 著者名/発表者名
      稲澤 啓太, 安永 憲司, 満保 雅浩
    • 学会等名
      第32回暗号と情報セキュリティシンポジウム
    • 発表場所
      北九州市
    • 年月日
      2015-01-20 – 2015-01-23
    • 関連する報告書
      2014 実績報告書
  • [学会発表] 計算量的なエントロピー安全性に関する考察2015

    • 著者名/発表者名
      池田光晴, 安永憲司, 満保雅浩.
    • 学会等名
      第32回暗号と情報セキュリティシンポジウム
    • 発表場所
      北九州市
    • 年月日
      2015-01-20 – 2015-01-23
    • 関連する報告書
      2014 実績報告書
  • [学会発表] エントロピープール付き擬似乱数生成器の性能分析2015

    • 著者名/発表者名
      西野 卓也, 安永 憲司, 満保 雅浩
    • 学会等名
      第32回暗号と情報セキュリティシンポジウム
    • 発表場所
      北九州市
    • 年月日
      2015-01-20 – 2015-01-23
    • 関連する報告書
      2014 実績報告書
  • [学会発表] Correction of samplable additive errors,2014

    • 著者名/発表者名
      Kenji Yasunaga
    • 学会等名
      IEEE International Symposium on Information Theory
    • 発表場所
      Honolulu, USA
    • 年月日
      2014-06-29 – 2014-07-04
    • 関連する報告書
      2014 実績報告書
  • [学会発表] A study on computational fuzzy extractors2014

    • 著者名/発表者名
      Kosuke Yuzawa, Kenji Yasunaga, and Masahiro Mambo
    • 学会等名
      the 31st Symposium on Cryptography and Information Security
    • 発表場所
      Kagoshima, Japan
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Correction of samplable additive errors2014

    • 著者名/発表者名
      Kenji Yasunaga
    • 学会等名
      IEEE International Symposium on Information Theory
    • 発表場所
      Honolulu, USA
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Preventing abuse of cookies stolen by XSS2013

    • 著者名/発表者名
      Hiroya Takahashi, Kenji Yasunaga, Masahiro Mambo, Kwangjo Kim, and Heung Youl Youm
    • 学会等名
      8th Asia Joint Conference on Information Security
    • 発表場所
      Seoul, Korea
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Game-theoretic security for bit commitment2013

    • 著者名/発表者名
      Haruna Higo, Keisuke Tanaka, and Kenji Yasunaga
    • 学会等名
      8th International Workshop on Security
    • 発表場所
      Okinawa, Japan
    • 関連する報告書
      2013 実績報告書

URL: 

公開日: 2013-05-15   更新日: 2019-07-29  

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

Powered by NII kakenhi