セキュア光トランスポートNWの実現に向けたアーキテクチャ設計および形式検証による安全性評価

• Item type: SIG Technical Reports(1)
• 公開日: 2021-11-01
• タイトル: セキュア光トランスポートNWの実現に向けたアーキテクチャ設計および形式検証による安全性評価
• タイトル / 言語: en
• タイトル: Architecture Design and Security Evaluation with Formal Verification for Secure Optical Transport Network
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 東京大学
• 著者所属: NTT社会情報研究所
• 著者所属: NTT社会情報研究所
• 著者所属(英): en
• 著者所属(英): Tokyo Uniersity
• 著者所属(英): en
• 著者所属(英): NTT Social Informatics Laboratories
• 著者所属(英): en
• 著者所属(英): NTT Social Informatics Laboratories
• 著者名: 前田, 志温; 中林, 美郷; 奥田, 哲矢
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本研究では，今後のデータセンタ間通信の主流と期待されるセキュア光トランスポート NW（以降 SOTN）について，そのアーキテクチャの設計および形式化と，想定される攻撃者モデルに対する対策の提案，形式検証による安全性評価を行った．アーキテクチャ設計・形式化においては，従来の拠点間通信の事実上標準である IPsec を参考として，安全性評価においては，暗号利用プロトコルの形式検証ツールの事実上標準である ProVerif を利用した．本研究の結果，想定される攻撃者モデルにおいて，既存の鍵交換装置や認証暗号装置の継ぎ接ぎのみでは，未知の攻撃（Key Compromized Disagreement (KCD) Attackと呼ぶ）が検知されたこと，および，提案する対策により，左記の攻撃の影響を低減できることを示した．上記の結果は，個別に安全性が保証された装置であっても，それらの組合せ設計およびアーキテクチャ設計により，未知の攻撃が発生し得ることを示唆しており，さらに，Passive Adversary を許さない仕組み（具体的には量子鍵交換）を一部の通信路に適用することで，アーキテクチャ全体の安全性が向上するという，従来の情報セキュリティの常識で捉えられない対策が可能であることを示唆するものである．
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12628305
• 書誌情報: 研究報告セキュリティ心理学とトラスト（SPT）; 巻 2021-SPT-45, 号 19, p. 1-8, 発行日 2021-11-01
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8671
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会