Cryptographic Protocol Verification Portal
Yahalom-BAN simplified
目次
暗号プロトコルの基本情報
- 名前
- BAN simplified version of Yahalom
- 機能
- 共通鍵暗号の鍵サーバを用いた相互認証・鍵交換プロトコル。
- 関連する文書
- M.Burrows, M.Abadi, and R.Needham, "A Logic of Authentication," Research Report 39, Digital Equipment Corp. Systems Research Center, Feb. 1989.
関連文献
- [cpvp_Yahalom-BAN-simplified_abst] "Yahalom-BAN simplifiedの概要," CPVP技術文書.
安全性の評価結果
ISO/IEC 29128 に従い形式手法に基づく検証を実施した結果を示します。なお、評価レベルのPAL4は、検証の際に暗号プロトコルの実行セッション数に制限が無く任意のセッション数を許す場合を指し、PAL3 は制限する場合を指します。よって、PAL3で攻撃が発見されなくとも、PAL4で攻撃が発見される場合があり、PAL4での評価が望ましいと考えられています。 なお、表ではPAL1〜4を★の数（1〜4）で表し、評価結果を色で区別しています。
現状安心して利用できる（本評価では攻撃が発見されず）
現状安心して利用できる（攻撃が発見されたが現時点では非現実的な脅威）
対策を施せば安心して利用できる（攻撃が発見されたが回避策がある）
もはや安心して利用できない（現実的な脅威のある攻撃が発見された）
| 評価結果 | 発見された攻撃 | 回避策 |
|---|---|---|
| ★★★★ [詳細1] | 乱数（ノンス）の共有に失敗させ、一方になりすます攻撃が 発見されました。 | -- |
| ★★★☆ [詳細2] | 通信相手を認証できないようにし、一方になりすます攻撃が 発見されました。 | -- |
関連文献
- [詳細1:cpvp_Yahalom-BAN-simplified_p] "Yahalom-BAN simplifiedのProVerifによる評価結果," CPVP技術文書.
- [詳細2:cpvp_Yahalom-BAN-simplified_s] "Yahalom-BAN simplifiedのScytherによる評価結果," CPVP技術文書.