暗号プロトコルのセキュリティ評価結果をリスト化・公開 ~標準化された暗号プロトコルの利用促進に期待~
国立研究開発法人情報通信研究機構(NICT)
暗号プロトコルのセキュリティ評価結果をリスト化・公開
~標準化された50個以上の暗号プロトコルの適切な利用促進に期待~
【ポイント】
■ 58個もの大規模な暗号プロトコルについてセキュリティ評価結果を整備し、リストで提供
■ NICTのポータルサイトで公開、評価の追試が可能
■ システム設計者の目的に応じた暗号プロトコルの適切な利用に期待
国立研究開発法人情報通信研究機構(NICT、理事長: 坂内 正夫)は、標準化された51個の暗号プロトコルとその他7個の主要プロトコルについて、学術論文数十本の成果に相当するセキュリティ評価結果をリストとしてまとめ上げ、NICTのポータルサイトで公開し、誰もが入手できるようにしました。ネットワークシステムでは、目的に応じて暗号プロトコルを適切に利用することが重要となりますが、システム設計者が本リストを判断基準として用いることで、暗号プロトコルの適切な利用促進が期待されます。
暗号プロトコル評価ポータルサイト: http://crypto-protocol.nict.go.jp/
【背景】
情報社会の安全性を支える基幹技術として、暗号を組み合わせて用いた通信手順(暗号プロトコル)が、世界中の研究者・技術者により設計され、ITU-T、IETF、ISO/IECなどの標準化団体で規格が策定(標準化)され、様々なネットワーク機器やPC、携帯電話、スマートフォンに実装されています。
これまでに、個々の暗号のセキュリティ評価結果をまとめたリストがCRYPTREC暗号リスト(http://www.cryptrec.go.jp/list.html)やThe SHA-3 Zoo(http://ehash.iaik.tugraz.at/wiki/The_SHA-3_Zoo)で公開されていますが、暗号プロトコルのセキュリティ評価結果をまとめたリストはありませんでした。個々の暗号が安全であっても、その組合せ方によって情報漏えいや、なりすましなどの問題が生じることがしばしば指摘されており、ネットワークシステムで暗号を安心して利用するためには、組み合わせた結果である暗号プロトコルのセキュリティを確認することが不可欠です。しかし、暗号プロトコルのセキュリティ評価結果は数も少なく世界中に散らばっており、システム設計者は評価結果の収集・分析に膨大な労力を費やしている状況で、その労力を削減する暗号プロトコル評価リストが切望されていました。
【今回の成果】
今回NICTは、標準化された51個の暗号プロトコルとその他7個の主要プロトコルについて、セキュリティ評価結果を集約する作業を行い、暗号プロトコル評価リストをNICTのポータルサイトで公開しました(http://crypto-protocol.nict.go.jp/)。
リストの整備に当たっては、自動検証ツールを用いてプロトコルを評価しました。そして、評価対象のプロトコルすべてに関して評価結果を精査し、問題点を洗い出しました。さらに、国際標準ISO/IEC29128における評価レベルのいずれに相当するかを明らかにしました。
一般に、自動検証ツールによる評価結果の解釈は専門家以外では不可能であり、1つの暗号プロトコルの評価は学術論文として公表されるほど膨大な労力を必要とします。そのため、単一の機関が58個ものプロトコル対して、複数の自動検証ツールを用いて、本リストを取りまとめたことは、世界でも類がなく、初めての試みです。
本ポータルサイトはオープンであり、誰でもリストを入手できます。
システム設計者は、本リストを一覧することで、目的とする機能を実現する暗号プロトコルについて、「現状安心して使える」、「対策を施せば安心して使える」、「もはや安心して使えない」を容易に判断できます。
また、暗号プロトコルの個別ページでは、これまでに発見されたセキュリティ上の問題や、その回避方法、自分でセキュリティを評価するための手順などの有用な知見が得られます。
さらに、学術論文でもまれにしか公開されない、オープンソースの自動検証ツールへの入力ソースも提供しており、誰もが評価を追試できます。
【今後の展望】
現在の暗号プロトコル評価リストは、標準化された暗号プロトコルを中心としていますが、今後は標準化候補の暗号プロトコルの評価結果も充実させ、システム設計者が、目的に適した暗号プロトコルを設計する際に役立つ情報を提供していく予定です。それにより、ネットワークシステムの効率的な構築やネットワーク全体の安心・安全の向上に貢献します。
広末涼子容疑者はなぜ家宅捜索?小川泰平氏解説「具体的に言うと、診察券ですとか…」
機長「看護師を助けるだけで精いっぱいだった」 長崎・壱岐ヘリ事故
【阪神】開幕3連勝かけ村上頌樹「やること変わらない」ホーム5戦未勝利の流れ断つ 11日中日戦
「対話を」「危機終わっていない」 トランプ関税停止、各国の反応は
【阪神】デュプランティエ、甲子園初先発で声援に感激「野球界における最高のファンの方々」
【データ】阪神、ノーゲームは21年5月1日広島戦以来 甲子園では13度目
【中日】ドラ4石伊雄太、プロ初安打&初打点「いい場面で打つことができて良かった」
【五輪サッカー】男子出場チーム4減・女子4増はFIFAの女子サッカー発展施策の影響
【東京】6戦未勝利も松橋力蔵監督「急にパーンとくると思う」12日の国立・柏戦で浮上目指す
【楽天】日本ハム戦で花火演出の白煙による視界不良で試合が一時中断するハプニング
多部未華子(30)結婚の裏事情あまりにも恐ろしすぎると話題に!
広末涼子容疑者は奈良から車で移動中だった「なかなか厳しいのでは」識者が疑問呈す
広末涼子容疑者の元夫キャンドル・ジュン氏が繰り返した語った言葉「心が…」がネットで再注目
自称広末涼子容疑者逮捕「涙出てくる。悔しい」“本物”は全国TVで社長の苦悩語ったばかり
広末涼子容疑者の逮捕は“異例”弁護士見解に小説家の医師「我々はサンドバッグじゃなくて人間」
広末涼子容疑者 事件当時、受け答え難しい状況 看護師への傷害容疑
「普通は逮捕される事案ではない」広末涼子容疑者現行犯逮捕の“異例さ”背景を著名弁護士が解説
石橋貴明のがん公表動画“削除”にネット困惑「どういうこと?病気嘘だったってこと?」
サンド富澤たけし、漫才中に観客がゾロゾロと途中離席「帰るんですか?!」驚きのその理由とは?
広末涼子容疑者の医療従事者暴行 木下博勝氏も被害明かす「幸いにも大怪我では無かったので…」
多部未華子(30)結婚の裏事情あまりにも恐ろしすぎると話題に!
二階堂ふみが結婚!?お相手が衝撃的過ぎてネット民「マジか・・・」
【おすすめアニメ50選】完結済み!定番から最新作まで!
小澤征悦と再婚した桑子真帆アナ(34)黒い過去が流出、衝撃の過去にネット騒然
中居正広氏、14年前に脳科学者が「女性におぼれて芸能界追放」と“予言” X騒然「すごい」
「中居正広」Xトレンド入り、第三者委員会の調査報告書にツッコミ殺到「こりゃ酷い」の声
楽しんご、銭湯での男性へのわいせつ行為で逮捕された中孝介容疑者に“8文字”でずばり私見
広末涼子容疑者は奈良から車で移動中だった「なかなか厳しいのでは」識者が疑問呈す
広末涼子容疑者の元夫キャンドル・ジュン氏が繰り返した語った言葉「心が…」がネットで再注目
【ネタバレ?】史実で見るキングダムの今後の展開まとめ〜中華統一までの全体像

広末涼子容疑者はなぜ家宅捜索?小川泰平氏解説「具体的に言うと、診察券ですとか…」
機長「看護師を助けるだけで精いっぱいだった」 長崎・壱岐ヘリ事故
【阪神】開幕3連勝かけ村上頌樹「やること変わらない」ホーム5戦未勝利の流れ断つ 11日中日戦
「対話を」「危機終わっていない」 トランプ関税停止、各国の反応は
【阪神】デュプランティエ、甲子園初先発で声援に感激「野球界における最高のファンの方々」
【データ】阪神、ノーゲームは21年5月1日広島戦以来 甲子園では13度目
【中日】ドラ4石伊雄太、プロ初安打&初打点「いい場面で打つことができて良かった」
【五輪サッカー】男子出場チーム4減・女子4増はFIFAの女子サッカー発展施策の影響
【東京】6戦未勝利も松橋力蔵監督「急にパーンとくると思う」12日の国立・柏戦で浮上目指す
【楽天】日本ハム戦で花火演出の白煙による視界不良で試合が一時中断するハプニング