横断型解析による自動的暗号プロトコル安全性評価基盤
| 体系的番号 |
JPMJAX25M8 |
研究代表者 |
木村 隼人 情報通信研究機構, サイバーセキュリティ研究所, 研究員
|
|---|
| 研究期間 (年度) |
2025 – 2027
|
| 概要 | 生成AIの浸透でCIの機密データが急増しDC内部不正・設定ミス対策として暗号プロトコルの機密性・完全性が重要になる．さらに将来普及が予想されるV2X通信や事業者間AIエージェント協調ではリアルタイム性・可用性を備えた新プロトコルと厳格な安全性評価が不可欠だが現行手法は1設計と実装を一体検証できず2複数プロトコル相互作用の脆弱性検出も不足する．本研究は課題解消の包括的評価フレームワークを開発する．
|
|---|
| 研究領域 | AI共生社会を拓くサイバーインフラストラクチャ |
|---|
