| Project/Area Number |
23K18459
|
|---|
| Research Category |
Grant-in-Aid for Challenging Research (Exploratory)
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Medium-sized Section 60:Information science, computer engineering, and related fields
|
|---|
| Research Institution | University of Tsukuba |
|---|
Principal Investigator |
西出 隆志 筑波大学, システム情報系, 准教授 (70570985)
|
|---|
| Project Period (FY) |
2023-06-30 – 2026-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥6,240,000 (Direct Cost: ¥4,800,000、Indirect Cost: ¥1,440,000)
Fiscal Year 2025: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2024: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2023: ¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
|
|---|
| Keywords | 暗号技術 |
|---|
| Outline of Research at the Start |
本研究では機密データを機密データを含むプログラムとして他者に安全に委託でき、かつその実行回数を制限できる技術の実現に取り組む。その実現により機密データのより有効な利活用と、それに基づく新たな電子サービスの創出が期待できる。本研究ではこの実現に向け、Witness暗号、量子計算機、分散型電子台帳、スマートコントラクトなどの要素技術の活用を検討し、まだ実用的でなくとも理論的な有用性を持つ実現方法と、実用的実行速度を持ちうる実現方法の両面を追求していく。
|
| Outline of Annual Research Achievements |
本研究では機密データを含むプログラムを第三者に安全に委託でき、かつそのプログラム実行回数を制限可能な技術の実現に取り組んでいる。従来の提案手法では、例えば、複数のクラウドサーバの利用を想定し、クラウドサーバが一度しかプログラム実行に必要な情報の提供に応じないという方法でプログラム実行回数の制限を実現していた。しかしより強力な攻撃者を想定したとき、全てのクラウドサーバが攻撃者に侵入されると、その安全性が破られてしまうことから、より強固な安全性を実現する手法の検討が求められていた。
その実現に向けてはウィットネス暗号方式、量子計算機、分散型電子台帳、スマートコントラクトなどの要素技術の活用が考えられる。また用いるアプローチにより、現時点では実用的ではないが理論的な有用性を持ちうる実現方法と、仕様上より制限が多いかもしれないが実用的実行速度を持ちうる実現方法の両方がありうる。今年度は、より理論的なアプローチとして、量子計算機の利用を前提とした構成法の確立に中心的に取り組んだ。そのために量子計算機を用いた近年の2つの有望な既存アプローチの調査を行った。そしてこれらの既存方式が持つ制限として、ハードウェアトークンを用いている点、またプログラム実行者がプログラム受け取り後に限られた時間内にプログラムを実行しなければならない点を明らかにした。そしてこれらの制限を取り除くための原形となる手法の提案を行った。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
既存手法1では量子計算機とハードウェアトークンを用いている。そのためこの手法ではプログラム実行者にハードウェアトークンを渡す必要性が生じ、またその安全性がハードウェアの耐タンパ性に依存するという制限があった。また既存手法2ではハードウェアトークンを使用しないがプログラム実行者はプログラムを受け取ってから、ある限られた時間内にプログラムを実行しなければならないという制限があった。提案手法ではハードウェアトークン内で使用される関数を効率的に難読化可能な手法を導入することで、ハードウェアトークンの使用を取り除いた。またこの難読化を用いることで生じる攻撃の可能性も把握し、既存手法2で導入された可能な量子計算の深さに制限がある攻撃者の仮定も導入することで提案手法の安全性が保たれることを確認した。また難読化手法の中で必要となりうる完全準同型暗号の効率化についても取り組んだ。
|
| Strategy for Future Research Activity |
現時点での提案手法の安全性解析はまだ不十分であるため、量子計算機を使用する攻撃者を仮定した既存の安全性解析手法をさらに調査し、安全性の厳密な調査に取り組む。
|
