回路設計理論の安全な計算への実用的応用

2009 年度 研究成果報告書

• 研究課題/領域番号: 19700002
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 情報学基礎
• 研究機関: 東北大学
• 研究代表者: 水木 敬明 東北大学, サイバーサイエンスセンター, 准教授 (90323089)
• 研究期間 (年度): 2007 – 2009
• キーワード: アルゴリズム / 暗号・認証等 / ネットワーク

研究概要

安全な計算とは,各プレーヤーが自分だけに秘密な入力を持っているとき,それぞれのプレーヤーの入力は秘密にしたままで,ある目的とする関数を計算し,その出力結果だけを知ることである。一方,与えられた関数に対して,論理積項を排他的論理和で結んで展開することで安全な計算を実現できることが知られている。本研究の主要な結果は,そのような展開の最小化アルゴリズムを与え,安全な計算を効率化したことである。

研究成果

• [雑誌論文] Minimizing AND-EXOR Expressions for Two-Variable Multiple-Valued Input Binary Output Functions (2010)
  • 著者名/発表者名: Takaaki Mizuki, Hitoshi Tsubata, Takao Nishizeki
  • 雑誌名: Journal of Multiple-Valued Logic and Soft Computing vol.16 ページ: 197-208
  • 査読あり
• [雑誌論文] A One-Round Secure Message Broadcasting Protocol through a Key Sharing Tree (2009)
  • 著者名/発表者名: Takaaki Mizuki, Takuya Sato, Hideaki Sone
  • 雑誌名: Information Processing Letters vol.109 ページ: 842-845
  • 査読あり
• [雑誌論文] Six-Card Secure AND and Four-Card Secure XOR, Frontiers in Algorithmics (FAW 2009) (2009)
  • 著者名/発表者名: Takaaki Mizuki, Hideaki Sone
  • 雑誌名: Lecture Notes in Computer Science, Springer-Verlag vol.5598 ページ: 358-369
  • 査読あり
• [雑誌論文] Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions (Extended Abstract), Theory and Applications of Models of Computation (TAMC 2009) (2009)
  • 著者名/発表者名: Takaaki Mizuki, Hitoshi Tsubata, Takao Nishizeki
  • 雑誌名: Lecture Notes in Computer Science, Springer-Verlag vol.5532 ページ: 301-310
  • 査読あり
• [学会発表] 多値2入力論理関数のAND-EXOR論理式の最小化 (2008)
  • 著者名/発表者名: 津幡斉, 水木敬明, 西関隆夫
  • 学会等名: 電子情報通信学会回路とシステム研究会
  • 発表場所: 山口大学常盤キャンパス
  • 年月日: 2008-03-07