24、会话状态揭示与临时密钥揭示的比较

会话状态揭示与临时密钥揭示的比较

1. 引言

在密钥协商协议的研究中，CK01 和 eCK 是两个重要的模型，而 HMQV 和 NAXOS 则是基于这些模型设计的典型协议。理解不同模型下的查询机制，如 SessionStateReveal 和 EphemeralKeyReveal，对于评估协议的安全性和效率至关重要。本文将详细比较这两种查询机制，并分析它们在不同协议中的应用。

2. CK01 和 eCK 模型

2.1 CK01 模型概述

• 会话创建 ：在 CK01 模型中，有 n 个概率多项式时间图灵机，每个称为一个参与方。参与方 ˆA 拥有绑定其静态公钥的证书，可通过 Create( ˆA, ˆB, Ψ, role) 请求创建会话。其中，ˆB 是另一个参与方，Ψ 是在 ˆA 内唯一标识会话的字符串，role 为发起者或响应者。
• 会话状态 ：每个会话 s 有相关的会话状态，包含协议定义的特定于会话的信息，部分标记为秘密。会话产生的本地输出形式为 ( ˆA, ˆB, Ψ, κ)，κ 为空表示会话出错并中止，非空则为会话密钥。
• 敌手查询 ：敌手控制所有通信，可进行以下查询：
  • SessionStateReveal(s)：获取与 s 相关状态中标记为秘密的信息。
  • SessionKeyReveal(s)：获取会话 s 的会话密钥。
  • Corrupt(party)：完全控制指定参与方并获取其内存中的所有信息。