選択暗号文攻撃に対して安全な公開鍵暗号の一般的構成法とその意義付け

• 研究課題/領域番号: 21760275
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 通信・ネットワーク工学
• 研究機関: 東京大学
• 研究代表者: 松浦 幹太 東京大学, 生産技術研究所, 准教授 (00292756)
• 研究期間 (年度): 2009 – 2011
• 研究課題ステータス: 完了 (2011年度)
• 配分額: 3,900千円 (直接経費: 3,000千円、間接経費: 900千円); 2011年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2010年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円); 2009年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
• キーワード: 暗号 / セキュリティ / 公開鍵暗号 / 証明可能安全性 / 選択暗号文攻撃 / 一般的構成法 / 電子署名 / セキュリティ経済学 / セキュリティ投資モデル

研究概要

CPA安全という弱い安全性しか持たない部品を用いてCCA安全という強い安全性を持つ公開鍵暗号を一般的に構成できるか否かを論じるために、攻撃者モデルを拡張した。拡張したモデルに基づいて、CPAからCCAへ至る途上にある安全性を体系的に定義し、それらのいくつかを達成する一般的構成法を示した。また、これら一般的構成法の意義を経済学的に論じるモデルを応用し、暗号モジュール選択の指針となる枠組みを提示した。

研究成果

• [雑誌論文] Relations between Constrained and Bounded Chosen Ciphertext Security for Key Encapsulation Mechanisms (2012)
  • 著者名/発表者名: Takahiro Matsuda, Goichiro Hanaoka, and Kanta Matsuura
  • 雑誌名: Lecture Notes in Computer Science 巻: 7293 ページ: 576-594
  • 査読あり
• [雑誌論文] Efficient Generic Constructions of Signcryption with Insider Security in the Multi-user Setting (2011)
  • 著者名/発表者名: Daiki Chiba, Takahiro Matsuda, Jacob C. N. Schuldt, and Kanta Matsuura
  • 雑誌名: Lecture Notes in Computer Science 巻: 6715 ページ: 220-237
  • 査読あり
• [雑誌論文] Parallel Decryption Queries in Bounded Chosen Ciphertext Attacks (2011)
  • 著者名/発表者名: Takahiro Matsuda and Kanta Matsuura
  • 雑誌名: Lecture Notes in Computer Science 巻: 6571 ページ: 246-264
  • 査読あり
• [雑誌論文] A Survey on Information Security Economics (2011)
  • 著者名/発表者名: Bongkot Jenjarrussakul and Kanta Matsuura
  • 雑誌名: 日本セキュリティ・マネジメント学会誌 巻: Vol.24, No.3 ページ: 53-60
  • NAID: 40018709984
• [雑誌論文] Efficient Convertible Undeniable Signatures with Delegatable Verification (2011)
  • 著者名/発表者名: Jacob C.N.Schuldt, Kanta Matsuura
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: VOL.E94-A ページ: 71-83
  • NAID: 10027986411
  • 査読あり
• [雑誌論文] Parallel Decryption Queries in Bounded Chosen Ciphertext Attacks (2011)
  • 著者名/発表者名: Takahiro Matsuda, Kanta Matsuura
  • 雑誌名: Lecture Notes in Computer Science 巻: VOL.6571 ページ: 246-264
  • 査読あり
• [雑誌論文] On-line Non-transferable Signatures Revisited (2011)
  • 著者名/発表者名: Jacob C.N.Schuldt, Kanta Matsuura
  • 雑誌名: Lecture Notes in Computer Science 巻: VOL.6571 ページ: 369-386
  • 査読あり
• [雑誌論文] On Black-Box Separations among Injective One-Way Functions (2011)
  • 著者名/発表者名: Takahiro Matsuda, Kanta Matsuura
  • 雑誌名: Lecture Notes in Computer Science 巻: VOL.6597 ページ: 597-614
  • 査読あり
• [雑誌論文] Efficient Generic Constructions of Timed-Release Encryption with Pre-open Capability (2010)
  • 著者名/発表者名: Takahiro Matsuda, Yasumasa Nakai, and Kanta Matsuura
  • 雑誌名: Lecture Notes in Computer Science 巻: 6487 ページ: 225-245
  • 査読あり
• [雑誌論文] Efficient Generic Constructions of Timed-Release Encryption with Pre-open Capability (2010)
  • 著者名/発表者名: Takahiro Matsuda, Yasumasa Nakai, Kanta Matsuura
  • 雑誌名: Lecture Notes in Computer Science 巻: VOL.6487 ページ: 225-245
  • 査読あり
• [雑誌論文] An Efficient Convertible Undeniable Signature Scheme with Delegatable Verification (2010)
  • 著者名/発表者名: Jacob C.N.Schuldt, Kanta Matsuura
  • 雑誌名: Lecture Notes in Computer Science 巻: 6047 ページ: 276-293
  • 査読あり
• [雑誌論文] Efficient Construction of Signcryption Schemes and Signcryption Composability (2009)
  • 著者名/発表者名: Takahiro Matsuda, Kanta Matsuura, and Jacob C. N. Schuldt
  • 雑誌名: Lecture Notes in Computer Science 巻: 5922 ページ: 321-342
  • 査読あり
• [雑誌論文] A Generic Construction of Timed-Release Encryption with Pre-open Capability (2009)
  • 著者名/発表者名: Yasumasa Nakai, Takahiro Matsuda, Wataru Kitada, and Kanta Matsuura
  • 雑誌名: Lecture Notes in Computer Science 巻: 5824 ページ: 53-70
  • 査読あり
• [学会発表] Sectoral and Regional Interdependency of Japanese Firms under the Influence of Information Security Risks (2012)
  • 著者名/発表者名: Bongkot Jenjarrussakul, Hideyuki Tanaka, and Kanta Matsuura
  • 学会等名: The Eleventh Annual Workshop on the Economics of Information Security(WEIS2012)
  • 発表場所: ベルリン、ドイツ
  • 年月日: 2012-06-25
• [学会発表] Information Security and the Impact from the Great East Japan Earthquake (2012)
  • 著者名/発表者名: Bongkot Jenjarrussakul, Hideyuki Tanaka, Kanta Matsuura
  • 学会等名: 2012年暗号と情報セキュリティシンポジウム
  • 発表場所: 金沢エクセルホテル東急(石川県)
  • 年月日: 2012-01-31
• [学会発表] Impact on Information Security from the Great East Japan Earthquake on March 11, 2011 (2012)
  • 著者名/発表者名: Bongkot Jenjarrussakul, Hideyuki Tanaka, and Kanta Matsuura
  • 学会等名: Eighth Annual Forum on Financial Information Systems and Cybersecurity : A Public Policy Perspective
  • 発表場所: College Park, MD, USA
  • 年月日: 2012-01-18
• [学会発表] Passive and Active Measurements of Cybersecurity Risk Parameters (2011)
  • 著者名/発表者名: Kanta Matsuura
  • 学会等名: The 12th International Workshop on Information Security Applications
  • 発表場所: Jeju, Korea(招待講演)
  • 年月日: 2011-08-22
• [学会発表] On-line Non-transferable Signatures Revisited (2011)
  • 著者名/発表者名: Jacob Schuldt, Kanta Matsuura
  • 学会等名: 2011年暗号と情報セキュリティシンポジウム
  • 発表場所: リーガロイヤルホテル小倉(福岡県)
  • 年月日: 2011-01-28
• [学会発表] 単一型と並行型の復号クエリを考慮した回数制限付き選択暗号文攻撃に対する安全性定義間の関係 (2011)
  • 著者名/発表者名: 松田隆宏,松浦幹太
  • 学会等名: 2011年暗号と情報セキュリティシンポジウム(SCIS2011)
  • 発表場所: 福岡県小倉市
  • 年月日: 2011-01-26
• [学会発表] KEMのConstrained CCA安全性と回数制限付きCCA安全性の関係 (2011)
  • 著者名/発表者名: 松田隆宏,花岡悟一郎,松浦幹太
  • 学会等名: 2011年暗号と情報セキュリティシンポジウム(SCIS2011)
  • 発表場所: 福岡県小倉市
  • 年月日: 2011-01-26
• [学会発表] 多人数モデルで内部者安全なSigncryptionの一般的構成法 (2011)
  • 著者名/発表者名: 千葉大輝, 松田隆宏, シュルツ・ヤコブ, 松浦幹太
  • 学会等名: 2011年暗号と情報セキュリティシンポジウム
  • 発表場所: リーガロイヤルホテル小倉(福岡県)
  • 年月日: 2011-01-26
• [学会発表] 単一型と並行型の復号クエリを考慮した回数制限付き選択暗号文攻撃に対する安全性定義間の関係 (2011)
  • 著者名/発表者名: 松田隆宏, 松浦幹太
  • 学会等名: 2011年暗号と情報セキュリティシンポジウム
  • 発表場所: リーガロイヤルホテル小倉(福岡県)
  • 年月日: 2011-01-26
• [学会発表] KEMのConstrained CCA安全性と回数制限付きCCA安全性の関係 (2011)
  • 著者名/発表者名: 松田隆宏, 花岡悟一郎, 松浦幹太
  • 学会等名: 2011年暗号と情報セキュリティシンポジウム
  • 発表場所: リーガロイヤルホテル小倉(福岡県)
  • 年月日: 2011-01-26
• [学会発表] 単写の一方向関数のブラックボックス構成の不可能性について (2011)
  • 著者名/発表者名: 松田隆宏, 松浦幹太
  • 学会等名: 2011年暗号と情報セキュリティシンポジウム
  • 発表場所: リーガロイヤルホテル小倉(福岡県)
  • 年月日: 2011-01-25
• [学会発表] Empirical Study on Interdependency of Information Security between Industrial Sectors and Regions (2011)
  • 著者名/発表者名: Bongkot Jenjarrussakul, Hideyuki Tanaka, Kanta Matsuura
  • 学会等名: Seventh Annual Forum on Financial Information Systems and Cybersecurity : A Public Policy Perspective
  • 発表場所: College Park, MD, USA
  • 年月日: 2011-01-19
• [学会発表] Security Economics and Cryptographic Industry (2010)
  • 著者名/発表者名: Kanta Matsuura
  • 学会等名: 2010 Japan-Taiwan Joint Research Symposium on Cryptography and Information Technology toward Next IT-society
  • 発表場所: Kaohsiung, Taiwan
  • 年月日: 2010-11-16
• [学会発表] Security Economics and Cryptographic Industry (2010)
  • 著者名/発表者名: Kanta Matsuura
  • 学会等名: 2010 Japan-Taiwan Joint Research Symposium on Cryptography and Information Technology toward Next IT-society
  • 発表場所: 高雄,台湾
  • 年月日: 2010-11-16
• [学会発表] A Guideline for Product-Validation Systems Regarding Security Modules (2010)
  • 著者名/発表者名: Kanta Matsuura
  • 学会等名: Computer Security Institute(CSI) Annual Conference 2010
  • 発表場所: Washington D. C., USA
  • 年月日: 2010-10-28
• [学会発表] A Guideline for Product-Validation Systems Regarding Security Modules (2010)
  • 著者名/発表者名: Kanta Matsuura
  • 学会等名: Computer Security Institute Annual Conference 2010
  • 発表場所: Washington D.C., USA
  • 年月日: 2010-10-28
• [学会発表] 開封時刻の秘匿性を持つ事前開封機能付きタイムリリース暗号の一般的な構成法 (2010)
  • 著者名/発表者名: 松田隆宏,松浦幹太
  • 学会等名: 情報処理学会コンピュータセキュリティシンポジウム2010(CSS2010)
  • 発表場所: 岡山県岡山市
  • 年月日: 2010-10-21
• [学会発表] 開封時刻の秘匿性を持つ事前開封機能付きタイムリリース暗廿の一般的な構成法 (2010)
  • 著者名/発表者名: 松田隆宏, 松浦幹太
  • 学会等名: コンピュータセキュリティシンポジウム2010
  • 発表場所: 富山国際会議場(富山県)
  • 年月日: 2010-10-21
• [学会発表] 情報セキュリティ経済学の概要と最近の動向 (2010)
  • 著者名/発表者名: 松浦幹太
  • 学会等名: 日本セキュリティマネジメント学会2010年度第2回ITリスク学研究会
  • 発表場所: 東京都千代田区
  • 年月日: 2010-09-18
• [学会発表] セキュリティ投資モデルとTrust-but-verifyアプローチによるモジュール選択 (2010)
  • 著者名/発表者名: 松浦幹太, 楊鵬
  • 学会等名: 第50回情報処理学会コンピュータセキュリティ研究会
  • 発表場所: 弘前大学(青森県)
  • 年月日: 2010-07-02
• [学会発表] An introduction of A Users' Guideline to Japan Cryptographic Module Validation Program (2010)
  • 著者名/発表者名: Peng Yang, Kanta Matsuura
  • 学会等名: 5th ACM Symposium on Information, Computer and Communications Security
  • 発表場所: 北京,中国
  • 年月日: 2010-04-14
• [学会発表] Economic Implications of Light-Weight Security Mechanisms (2010)
  • 著者名/発表者名: Kanta Matsuura
  • 学会等名: The 2010 Workshop on RFID Security
  • 発表場所: Singapore
  • 年月日: 2010-02-22
• [学会発表] Economic Implications of Light-Weight Security Mechanisms (2010)
  • 著者名/発表者名: Kanta Matsuura
  • 学会等名: The 2010 Workshop on RFID Security
  • 発表場所: Singapore, Singapore
  • 年月日: 2010-02-22
• [学会発表] 公開鍵暗号の回数制限付き選択暗号文攻撃に対する安全性 (2010)
  • 著者名/発表者名: 松田隆宏,松浦幹太
  • 学会等名: 2010年暗号と情報セキュリティシンポジウム(SCIS2010)
  • 発表場所: 香川県高松市
  • 年月日: 2010-01-22
• [学会発表] Mixed CCA安全性:より強い安全性を持つ公開鍵暗号方式のCPA安全な方式のみを用いた構成 (2010)
  • 著者名/発表者名: 松田隆宏,松浦幹太
  • 学会等名: 2010年暗号と情報セキュリティシンポジウム(SCIS2010)
  • 発表場所: 香川県高松市
  • 年月日: 2010-01-22
• [学会発表] 公開鍵暗号の回数制限付き選択暗号文攻撃に対する安全性 (2010)
  • 著者名/発表者名: 松田隆宏, 松浦幹太
  • 学会等名: 2010年暗号と情報セキュリティシンポジウム
  • 発表場所: サンポートホール高松
  • 年月日: 2010-01-22
• [学会発表] Mixed CCA安全性:より強い安全性を持つ公開鍵暗号方式のCPA安全な方式のみを用いた構成 (2010)
  • 著者名/発表者名: 松田隆宏, 松浦幹太
  • 学会等名: 2010年暗号と情報セキュリティシンポジウム
  • 発表場所: サンポートホール高松
  • 年月日: 2010-01-22
• [学会発表] 時間前復号機能付き時限式暗号の効率的な一般的構成法 (2010)
  • 著者名/発表者名: 中井泰雅, 松田隆宏, 松浦幹太
  • 学会等名: 2010年暗号と情報セキュリティシンポジウム
  • 発表場所: サンポートホール高松
  • 年月日: 2010-01-20
• [学会発表] 多人数環境を考慮したSigncryptionの簡潔な一般的構成法 (2009)
  • 著者名/発表者名: 松田隆宏,シュルツヤコブ,松浦幹太
  • 学会等名: 情報処理学会コンピュータセキュリティシンポジウム2009(CSS2009)
  • 発表場所: 富山県富山市
  • 年月日: 2009-10-27
• [学会発表] 多人数環境を考慮したSigncryptionの簡潔な一般的構成法 (2009)
  • 著者名/発表者名: 松田隆宏, シュルツヤコブ, 松浦幹太
  • 学会等名: 情報処理学会コンピュータセキュリティシンポジウム2009
  • 発表場所: 富山国際会議場
  • 年月日: 2009-10-27
• [学会発表] Economics of Provable Security and Probable Security (2009)
  • 著者名/発表者名: Kanta Matsuura
  • 学会等名: 4th International Workshop on Mathematical Cryptology, Daejon, Korea
  • 発表場所: invited talk
  • 年月日: 2009-07-17
• [図書] 日本セキュリティ・マネジメント学会(監修) (2011)
  • 著者名/発表者名: 松浦幹太
  • 総ページ数: 262
  • 出版者: 共立出版
• [図書] セキュリティマネジメント学～理論と事例～ (2011)
  • 著者名/発表者名: 日本セキュリティ・マネジメント学会(監修), 松浦幹太(編著)
  • 総ページ数: 262
  • 出版者: 共立出版