| 研究課題/領域番号 |
22K17892
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分60070:情報セキュリティ関連
|
|---|
| 研究機関 | 国立研究開発法人産業技術総合研究所 |
|---|
研究代表者 |
勝又 秀一 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (20844608)
|
|---|
| 研究期間 (年度) |
2022-04-01 – 2023-03-31
|
| 研究課題ステータス |
中途終了 (2022年度)
|
| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2024年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2023年度: 2,470千円 (直接経費: 1,900千円、間接経費: 570千円)
2022年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
|
|---|
| キーワード | 耐量子計算機暗号 / セキュアメッセージング / Messaging Layer Security / 暗号理論 / 汎用的結合可能性フレームワーク |
|---|
| 研究開始時の研究の概要 |
現在、企業や学術機関の支援の元、Internet Engineering Task Force (IETF)でセキュアメッセージングプロトコル (SMP)の標準化が進んでいる。しかし、SMPは機能や安全性要件が多岐に渡る複雑なプロトコルであるため、未だに暗号学的安全性を言及するための十分な理論基盤がない。加えて、現在知られているSMPは、量子計算機によって安全性が破られることが知られており、量子計算機に対しても安全な方式開発が重要な課題となっている。
本研究では、スケーラブルで耐量子計算機安全なSMPの理論基盤の構築、証明可能安全な方式の開発、および、実証実験を行う。
|
| 研究実績の概要 |
近年スマートフォンの普及に伴い、SlackやLine等のメッセージングアプリの利用が日常となっている。しかし、従来のメッセージングアプリでは、利用者の通信内容やそれに付随するメタデータは全てサーバーに筒抜けになっており、利用者のプライバシが著しく企業や政府によって侵害される事例がある。それに伴い、ここ数年はセキュアメッセージングプロトコル(SMP)の利用が拡大しており、SMの市場規模は2019年時点で3.8千億円、そして、2027年までには1兆円までに成長すると推測されている。
SMPは社会的意義が高く、安全性が非常に重視される技術であるため、まず、1つ目の課題として、SMPの暗号学的安全性を証明できるための安全性モデルの構築を挙げ、本年度は、SMPが満たすべき普遍的安全性要件を抽出し、汎用的結合可能性(UC)フレームワークを元に、任意のSMPが達成すべき安全性要件のモデル化を行った。
さらに、量子計算機が実現することで、現行の暗号技術が危殆化することが知られてるが、未だスケーラブルな耐量子計算機安全なSMPがなかったため、2つ目の課題として、量子計算機に対しても証明可能安全、かつ、スケー ラブルで効率的なSMPの開発を挙げた。本年度は、まず１つ目の課題で洗い出した各種安全性要件を誘発することができる暗号要素技術を調査し、その後、候補に挙がる複数の暗号要素技術の中でも量子計算機に対しても安全、効率的かつスケーラブルなものに着目し、SMPのモジュ ラー構成を行い、実装実験行った。
本研究で得られた関連成果は、IACRが主催する暗号理論分野トップ国際会議CRYPTOと EUROCRYPT、 ACMが主催するセキュリティ分野トップ国際会議ACM CCS、そして論文誌3件に採録された。
|
