新世代暗号の安全性を支える困難性仮定の正当性検証技術の開発

• 研究課題/領域番号: 24500015
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: 情報学基礎
• 研究機関: 国立研究開発法人情報通信研究機構 (2013-2015); 大阪大学 (2012)
• 研究代表者: 吉田 真紀 国立研究開発法人情報通信研究機構, ネットワークセキュリティ研究所セキュリティアーキテクチャ研究室, 主任研究員 (50335387)
• 研究期間 (年度): 2012-04-01 – 2016-03-31
• 研究課題ステータス: 完了 (2015年度)
• 配分額: 5,200千円 (直接経費: 4,000千円、間接経費: 1,200千円); 2014年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円); 2013年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円); 2012年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
• キーワード: 暗号 / 困難性仮定 / 正当性検証 / Bilinear Group / Generic Model

研究成果の概要

情報セキュリティの基幹技術である暗号の安全性は，ある種の数学問題の求解が困難であること（困難性仮定）に支えられている．本研究の目的は，新世代の暗号に対して，その安全性を支える困難性仮定の正当性を検証する技術の開発である．まず困難性仮定を定式化し，正当性検証法を設計・実装した．そして，実際の困難性仮定への適用し，暗号設計者向けに検証ツールを開発した．

研究成果

• [雑誌論文] Efficient Usage of Cover Free Families in Broadcast Encryption (2016)
  • 著者名/発表者名: Maki Yoshida and Toru Fujiwara
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: vol.E99-A,no.6 ページ: 1-8
  • NAID: 130005154246
  • 査読あり
• [雑誌論文] On the Impossibility of <i>d</i>-Multiplicative Non-perfect Secret Sharing (2015)
  • 著者名/発表者名: Maki Yoshida, Kazuya Ohkita, and Toru Fujiwara
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: E98.A 号: 2 ページ: 767-770
  • DOI: 10.1587/transfun.E98.A.767
  • NAID: 130004770935
  • ISSN: 0916-8508, 1745-1337
  • 査読あり / オープンアクセス
• [雑誌論文] Individual Restoration of Tampered Pixels for Statistical Fragile Watermarking (2015)
  • 著者名/発表者名: Maki Yoshida and Toru Fujiwara
  • 雑誌名: IEICE Transactions on Information and Systems 巻: E98.D 号: 1 ページ: 58-64
  • DOI: 10.1587/transinf.2014MUP0006
  • NAID: 130004721761
  • ISSN: 0916-8532, 1745-1361
  • 査読あり / オープンアクセス
• [雑誌論文] IHC 評価基準における圧縮率と加法電子透かし法の最適なパラメータとの関係 (2015)
  • 著者名/発表者名: 戸塚拓伸, 吉田真紀, 藤原融
  • 雑誌名: 電子情報通信学会技術研究報告 巻: vo.114, no. 511 ページ: 85-90
• [雑誌論文] Salt-and-Pepper Image Watermarking System for IHC Evaluation Criteria (2014)
  • 著者名/発表者名: Hironobu Tozuka, Maki Yoshida, and Toru Fujiwara
  • 雑誌名: Proceedings of the 1st International Workshop on Information Hiding and Its Criteria for Evaluation 巻: vol.1 ページ: 31-36
  • DOI: 10.1145/2598908.2598917
  • 査読あり / オープンアクセス
• [雑誌論文] IHC 電子透かしコンテストの高画質カテゴリにおける加法 電子透かし法の性能評価 (2014)
  • 著者名/発表者名: 戸塚拓伸, 吉田真紀, 藤原融
  • 雑誌名: 電子情報通信学会技術研究報告 巻: vol.114, no.222 ページ: 53-58
• [雑誌論文] Salt-and-Pepper Image Watermarking System for IHC Evaluation Criteria (2014)
  • 著者名/発表者名: Hironobu Tozuka, Maki Yoshida, and Toru Fujiwara
  • 雑誌名: Proceedings of the First International Workshop on Information Hiding and its Criteria for evaluation 巻: -
  • 査読あり
• [雑誌論文] 加法電子透かし法のIHC 評価基準による性能評価 (2014)
  • 著者名/発表者名: 戸塚拓伸, 吉田真紀, 藤原融
  • 雑誌名: 電子情報通信学会 技術研究報告 巻: Vol.113, No.480 ページ: 81-86
• [雑誌論文] Theoretical Performance Analysis of Hybrid Additive-Multiplicative Watermarking (2013)
  • 著者名/発表者名: Seigo Ikeda, Maki Yoshida, Toru Fujiwara
  • 雑誌名: IEICE Technical Report 巻: VOL.112, NO.420 ページ: 77-82
  • NAID: 110009727934
• [雑誌論文] Generic Construction of GUC Secure Commitment in the KRK Model (2012)
  • 著者名/発表者名: Itsuki Suzuki, Maki Yoshida, Toru Fujiwara
  • 雑誌名: Lecture Notes in Computer Science 巻: VOL.7631 ページ: 244-260
  • DOI: 10.1007/978-3-642-34117-5_16
  • ISBN: 9783642341168, 9783642341175
  • 査読あり
• [雑誌論文] New Hybrid Additive-Multiplicative Watermarking with Better Tradeoff between Image Quality and Detection Accuracy (2012)
  • 著者名/発表者名: Seigo Ikeda, Maki Yoshida, Toru Fujiwara
  • 雑誌名: Proceedings of 2012 International Symposium on Information Theory and its Applications 巻: - ページ: 797-801
  • 査読あり
• [雑誌論文] Optimum General Threshold Secret Sharing (2012)
  • 著者名/発表者名: Maki Yoshida, Toru Fujiwara, Marc P.C. Fossorier
  • 雑誌名: Lecture Notes in Computer Science 巻: VOL.7412 ページ: 187-204
  • DOI: 10.1007/978-3-642-32284-6_11
  • ISBN: 9783642322839, 9783642322846
  • 査読あり
• [雑誌論文] Hybrid Additive-Multiplicative Watermarking for General Embedding Domains (2012)
  • 著者名/発表者名: Seigo Ikeda, Maki Yoshida, Toru Fujiwara
  • 雑誌名: IEICE Technical Report 巻: VOL.112, NO.129 ページ: 9-16
  • NAID: 110009625788
• [学会発表] 形式検証に向けたQUICの安全性定義の検討 (2015)
  • 著者名/発表者名: 櫻田 英樹, 米山 一樹, 吉田 真紀, 花谷 嘉一
  • 学会等名: 日本応用数理学会2015年度年会FAISオーガナイズド・セッション
  • 発表場所: 金沢大学, 石川県金沢市角間町
  • 年月日: 2015-09-11
• [学会発表] UCコミットメントの形式検証による厳密な仮定の導出に向けて (2015)
  • 著者名/発表者名: 吉田真紀
  • 学会等名: 2015年 暗号理論ワークショップ
  • 発表場所: 東京工業大学, 東京都目黒区大岡山
  • 年月日: 2015-02-24
  • 招待講演
• [学会発表] 暗号プロトコル安全性検証の可視化に向けて (2015)
  • 著者名/発表者名: 吉田真紀, 水野修
  • 学会等名: 2015年暗号と情報セキュリティシンポジウム
  • 発表場所: リーガロイヤルホテル小倉, 福岡県福岡市小倉北区浅野
  • 年月日: 2015-01-23
• [学会発表] Toward Exact Assumptions for UC Commitments with Automated Verification (2015)
  • 著者名/発表者名: Hideki Sakurada, Kazuki Yoneyama, Yoshikazu Hanatani, and Maki Yoshida
  • 学会等名: The 2015 Symposium on Cryptography and Information Security
  • 発表場所: RIHGA Royal Hotel Kokura, Asano, Kokurakita-ku, Kitakyushu, Fukuoka
  • 年月日: 2015-01-23
• [学会発表] 暗号プロトコル評価の理論と可視化 (2015)
  • 著者名/発表者名: 吉田真紀
  • 学会等名: Small-workshop on Communications between Academia and Industry for Security
  • 発表場所: 九州大学西新プラザ, 福岡市早良区西新
  • 年月日: 2015-01-19
  • 招待講演
• [学会発表] 暗号プロトコル評価の理論と可視化 (2014)
  • 著者名/発表者名: 吉田真紀
  • 学会等名: CELLOSシンポジウム2014
  • 発表場所: 飯田橋グラン・ブルーム, 東京都千代田区富士見
  • 年月日: 2014-12-18
  • 招待講演
• [学会発表] 時限式暗号における時報の受信失敗への対策について (2014)
  • 著者名/発表者名: 吉田真紀, 藤原融
  • 学会等名: 2014 年暗号と情報セキュ リティシンポジウム
  • 発表場所: 2014 年暗号と情報セキュ リティシンポジウム
• [学会発表] Externalized Universally Composable の枠組みに対する記号的モデル (2014)
  • 著者名/発表者名: 吉田真紀, 鈴木斎輝, 藤原融
  • 学会等名: 日本応用数理学会
  • 発表場所: 2009 年春の研究部会連合発表会, 数理的技法による情報セキュリティ(FAIS)
• [学会発表] ハイブリッド電子透かしの組合せに関する検討
  • 著者名/発表者名: 池田成吾, 吉田真紀, 藤原融
  • 学会等名: 2013 年暗号と情報セキュリティシンポジウム
  • 発表場所: ウェスティン都ホテル京都（京都府）
• [図書] 汎用的結合可能な安全性, 日本応用数理学会監修/薩摩順吉・大石進一・杉原 正顕(編) 応用数理ハンドブック (2013)
  • 著者名/発表者名: 鈴木斎輝, 吉田真紀
  • 総ページ数: 2
  • 出版者: 朝倉書店