Logical verification method for rational secret sharing protocols

• Project/Area Number: 24700022
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Multi-year Fund
• Research Field: Software
• Research Institution: University of Tsukuba
• Principal Investigator: HASEBE Koji 筑波大学, システム情報系, 助教 (80470045)
• Project Period (FY): 2012-04-01 – 2014-03-31
• Project Status: Completed (Fiscal Year 2013)
• Budget Amount: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2013: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000); Fiscal Year 2012: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
• Keywords: 数理的技法 / 安全性検証 / 秘密分散プロトコル / 論理推論体系

Research Abstract

We developed logical inference systems for rational secret sharing protocols. The key idea behind our systems was to use the first order logic and modal epistemic logic to describe inferences of each participant and execution processes of a protocol. We also considered a model as the set of traces of a protocol and showed soundness with respect to our systems.

Research Products

• [Journal Article] Computationally Complete Symbolic Attacker and Key Exchange (2013)
  • Author(s): Gergely Bana, Koji Hasebe, and Mitsuhiro Okada
  • Journal Title: Proceedings of the 20th ACM Conference on Computer and Communications Security (ACM CCS 2013) Pages: 1231-1246
  • DOI: 10.1145/2508859.2516710
  • Peer Reviewed
• [Presentation] 計算論的に完全な記号的攻撃者と鍵交換に関する分析手法 (2014)
  • Author(s): バナ・ゲルゲイ,長谷部浩二,岡田光弘
  • Organizer: 暗号と情報セキュリティシンポジウム
  • Place of Presentation: 鹿児島
• [Presentation] Computationally Complete Symbolic Attacker and Key Exchange (2013)
  • Author(s): Gergely Bana, Koji Hasebe, and Mitsuhiro Okada
  • Organizer: 20th ACM Conference on Computer and Communications Security (ACM CCS 2013)
  • Place of Presentation: Berlin, Germany
• [Presentation] Computationally Complete Symbolic Attacker and Key Exchange (2013)
  • Author(s): Gergely Bana, Koji Hasebe, and Mitsuhiro Okada
  • Organizer: 20th ACM Conference on Computer and Communications Security
  • Place of Presentation: ドイツ・ベルリン