43、安全协议分析与密钥交换技术解析

安全协议分析与密钥交换技术解析

1. 基础密码学操作

1.1 签名与解签

解签函数以公钥 pks 和签名 SIGNsks(D) 作为输入，输出原始数据 D 。将解签函数视为原子动作 de - signpks(SIGNsks(D)) ，用 DE - SIGNpks(SIGNsks(D)) 表示解签动作的输出，显然有 DE - SIGNpks(SIGNsks(D)) = D 。

1.2 消息认证码（MAC）

消息认证码（MAC）用于通过对称密钥 k 对数据进行认证，通常假设 k 仅在两个主体 A 和 B 之间私下共享。MAC 函数以密钥 k 和数据 D 为输入，输出为 MACs 。将 MAC 函数视为原子动作 mack(D) ，用 MACk(D) 表示输出的 MACs 。主体 A 生成 MACk(D) 并与数据 D 一起发送给主体 B ，主体 B 重新生成 MACk(D)′ ，若 MACk(D)