32、基于可信新鲜度的加密协议设计解析

基于可信新鲜度的加密协议设计解析

1. 协议设计中的安全属性

在协议设计过程中，有多种安全属性需要实现，这些属性对于确保协议的安全性和可靠性至关重要。

1.1 密钥建立服务

为了提供密钥建立服务，通常会使用一些典型的数学算法，如下所示：
- 具有可信新鲜度的消息认证码。
- 具有可信新鲜度的数字签名方案。
- 在加密之前，将一个秘密认证值附加到具有可信新鲜度的加密文本上。

1.2 密钥传输与协商协议规则

1.2.1 单边认证密钥传输协议（Unilateral authenticated key transport protocol）

给定参与方 $P_i$ 和 $P_j$ 之间的协议 $\Pi$，存在一个具有完全控制通信链路能力的概率多项式时间敌手 $I$，$k$ 是由主体 $P_j$ 选择的临时会话密钥。若满足 $b_{P_i,t\$} = \lfloor\langle11kP_iP_j\rangle, \langle1P_j\rangle\rfloor$，则称协议 $\Pi$ 是 UK - 安全的。

1.2.2 相互认证密钥传输协议（Mutual authenticated key transport protocol）

同样在上述环境下，若满足 $b_{P_i,t\$} = \lfloor\langle11kP_iP_j\rangle, \langle1P_j\rangle\rfloor$ 且 $b_{P_i,t\$} = \lfloor\langle11kP_iP_j\rangle, \langle1P_j\rangle\rfl