• NICT

暗号プロトコルの基本情報

• 名前
  • PKMv2 (Privacy and Key Management Protocol Version 2)
• 機能
  • Wimax通信における端末（SS/MS）と基地局（BS）間の認証・鍵交換プロトコル。
• 関連する標準
  • IEEE Std 802.16e-2005 (http://standards.ieee.org/getieee802/download/802.16e-2005.pdf)

関連文献

• [cpvp_PKMv2_abst] "PKMv2の概要," CPVP技術文書.

安全性の評価結果

　ISO/IEC 29128 に従い形式手法に基づく検証を実施した結果を示します。なお、評価レベルのPAL4は、検証の際に暗号プロトコルの実行セッション数に制限が無く任意のセッション数を許す場合を指し、PAL3 は制限する場合を指します。よって、PAL3で攻撃が発見されなくとも、PAL4で攻撃が発見される場合があり、PAL4での評価が望ましいと考えられています。 なお、表ではPAL1〜4を★の数（1〜4）で表し、評価結果を色で区別しています。

現状安心して利用できる（本評価では攻撃が発見されず）
現状安心して利用できる（攻撃が発見されたが現時点では非現実的な脅威）
対策を施せば安心して利用できる（攻撃が発見されたが回避策がある）
もはや安心して利用できない（現実的な脅威のある攻撃が発見された）

関連文献

• [詳細1:cpvp_PKMv2_p] "PKMv2のProVerifによる評価結果," CPVP技術文書.
• [詳細2:cpvp_PKMv2_s] "PKMv2のScytherによる評価結果," CPVP技術文書.