暗号プロトコルに対する計算論的に健全な安全性検証技術と再設計支援技術の開発

2011 年度 研究成果報告書

• 研究課題/領域番号: 21700015
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 情報学基礎
• 研究機関: 大阪大学
• 研究代表者: 吉田 真紀 大阪大学, 大学院・情報科学研究科, 助教 (50335387)
• 研究期間 (年度): 2009 – 2011
• キーワード: 暗号プロトコル / 安全性 / 汎用的結合可能性 / 形式的検証 / 計算量的に健全

研究概要

本研究の目的は,暗号プロトコルに対して,現状において最も望ましい強さの安全性である汎用的結合可能安全性をもつことを検証するための基盤技術と,それに基づく再設計の支援も含めた検証技術を開発することである.

研究成果

• [雑誌論文] Toward Digital Watermarking for Cryptographic Data (2011)
  • 著者名/発表者名: Maki Yoshida and Toru Fujiwara
  • 雑誌名: IEICE Transactions on Fundamentals 巻: Vol.E94-A, No.1 ページ: 270-272
  • 査読あり
• [雑誌論文] 評価者間類似度計算の改善による汚染コンテンツダウンロード抑制効果向上 (2010)
  • 著者名/発表者名: 山中広明, 岡村真吾, 藤原融, 吉田真紀, 石原靖哲, 秋山豊和, 加藤精一, 下條真司
  • 雑誌名: 情報処理学会論文誌 巻: Vol.51 No.8 ページ: 1428-1442
  • 査読あり
• [雑誌論文] All-or-nothing Property for Efficient Symbolic Analysis (2010)
  • 著者名/発表者名: Maki Yoshida and Toru Fujiwara
  • 雑誌名: Computational and Symbolic Proofs of Security
  • 査読あり
• [雑誌論文] Expiration Dated Fingerprinting (2010)
  • 著者名/発表者名: Maki Yoshida and Toru Fujiwara
  • 雑誌名: IJICIC 巻: Vol.6, No.3 ページ: 1271-1278
  • 査読あり
• [雑誌論文] 公理的安全性の枠組みにおける汎用的結合可能な相互認証と鍵交換の記号的安全性 (2010)
  • 著者名/発表者名: 鈴木斎輝, 吉田真紀, 藤原融
  • 雑誌名: 日本応用数理学会論文誌 巻: 第20巻,第1号 ページ: 11-32
  • 査読あり
• [雑誌論文] The Vector Decomposition Problem (2010)
  • 著者名/発表者名: Maki Yoshida, Shigeo Mitsunari, and Toru Fujiwara
  • 雑誌名: IEICE Transactions on Fundamentals 巻: Vol.E93-A, No.1 ページ: 188-193
  • 査読あり
• [雑誌論文] Watermarking Cryptographic Data (2009)
  • 著者名/発表者名: Maki Yoshida and Toru Fujiwara
  • 雑誌名: the Fifth International Conference on Intelligent Information Hiding and Multimedia Signal Processing(IIH-MSP2009) 巻: A02-02(CD-ROM)
  • 査読あり
• [雑誌論文] Improving Capability of Locating Tampered Pixels of Statistical Fragile Watermarking (2009)
  • 著者名/発表者名: Kazuya Ohkita, Maki Yoshida, Itaru Kitamura, and Toru Fujiwara
  • 雑誌名: the8th International Workshop on Digital Watermarking(IWDW2009) 巻: LNCS5703 ページ: 279-293
  • 査読あり
• [雑誌論文] Development of a Verification Tool for Composable Security (2009)
  • 著者名/発表者名: Itsuki Suzuki, Yoshiki Kamano, Maki Yoshida, and Toru Fujiwara
  • 雑誌名: Computational and Symbolic Proofs of Security
  • 査読あり
• [雑誌論文] Flexible Timed-release Encryption (2009)
  • 著者名/発表者名: Maki Yoshida and Toru Fujiwara
  • 雑誌名: IEICE Transactions on Fundamentals 巻: Vol.E92-A, No.1 ページ: 222-225
  • 査読あり
• [学会発表] 画質劣化を抑えた加法と乗法のハイブリッド電子透かし (2012)
  • 著者名/発表者名: 池田成吾, 吉田真紀, 藤原融
  • 学会等名: 2012年暗号と情報セキュリティシンポジウム予稿集
  • 年月日: 20120200
• [学会発表] Generic Construction of GUC Secure Commitment Protocol in the PKI Model (2012)
  • 著者名/発表者名: Itsuki Suzuki, Maki Yoshida, Toru Fujiwara
  • 学会等名: Proceedings of the2012Symposium on Cryptography and Information Security
  • 年月日: 20120100
• [学会発表] EUC安全なメッセージ認証のためのmulti-messageプロトコルに対する記号的基準 (2011)
  • 著者名/発表者名: 鈴木斎輝, 吉田真紀, 藤原融
  • 学会等名: IEICE Tech. Rep.
  • 年月日: 20111100
• [学会発表] Recovery of Tampered Pixels for Statistical Fragile Watermarking (2011)
  • 著者名/発表者名: aki Yoshida, Kazuya Ohkita, Toru Fujiwara
  • 学会等名: IEICE Tech. Rep.
  • 年月日: 20110700
• [学会発表] On the Impossibility of d-Multiplicative Non-perfect Secret Sharing (2011)
  • 著者名/発表者名: Maki Yoshida, Toru Fujiwara
  • 学会等名: IEICE Tech. Rep.
  • 年月日: 20110500
• [学会発表] Static Adversaryに対してEUC安全な認証の記号的基準について (2011)
  • 著者名/発表者名: 鈴木斎輝, 吉田真紀, 藤原融
  • 学会等名: 電子情報通信学会技術研究報告
  • 年月日: 20110300
• [学会発表] Bilinear Groupに関する困難性仮定への攻撃導出-Cryptology ePrint Archive上の仮定に攻撃は存在するか?- (2011)
  • 著者名/発表者名: 岡前直由, 吉田真紀, 雲嶋健太, 阿部正幸, 大久保美也子, 藤原融
  • 学会等名: 2011年暗号と情報セキュリティシンポジウム予稿集
  • 年月日: 20110100
• [学会発表] Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出 (2010)
  • 著者名/発表者名: 雲嶋健太, 吉田真紀, 阿部正幸, 大久保美也子, 藤原融
  • 学会等名: 電子情報通信学会技術研究報告
  • 年月日: 20101100
• [学会発表] Computationally Sound Symbolic Analysis for EUC Security of Key Exchange (2010)
  • 著者名/発表者名: Itsuki Suzuki, Maki Yoshida, Toru Fujiwara
  • 学会等名: 日本応用数理学会2010年度年会
  • 年月日: 20100900
• [学会発表] 汎用的結合可能な相互認証に対する記号的識別不可能性を用いた記号的基準 (2010)
  • 著者名/発表者名: 鈴木斎輝, 吉田真紀, 藤原融
  • 学会等名: 2010年暗号と情報セキュリティシンポジウム予稿集
  • 年月日: 20100100
• [学会発表] 汎用的結合可能な安全性の形式的検証のためのpattern拡張に関する一考察 (2009)
  • 著者名/発表者名: 鈴木斎輝, 吉田真紀, 藤原融
  • 学会等名: 日本応用数理学会2009年度年会
  • 年月日: 20090900