41、KIVR：利用冗余实现认证加密的安全性分析

KIVR：利用冗余实现认证加密的安全性分析

1. 引言

在当今的信息安全领域，认证加密（Authenticated Encryption，AE）是保障数据机密性和完整性的重要技术。而KIVR（Key, IV, Redundancy）转换方法通过利用冗余信息，为实现BBB和CMT - 4安全提供了一种有效的途径。本文将详细介绍KIVR的相关算法、安全性分析以及其在不同认证加密方案中的应用。

2. 相关算法介绍

2.1 MD哈希函数与DM压缩函数

MD哈希函数使用Davies - Meyer（DM）压缩函数，以下是其具体算法：

Algorithm 8. MD Hash Function with DM Compression Function
Hash Function MDDMF (D)
1: D1, . . . , Dd
b←−sfpad(D); S ←IS; for i = 1, . . . , d do S ←DMF (S, Di) end for
2: return S

其中， sfpad 是一个后缀自由填充函数，确保不同输入的填充结果不会相互成为前缀。 DMF 定义为 DMF (S, Di) = S ⊕F(S, Di) ，这里 F 是底层的原语（如块密码）。

2.2 标签生成HMAC

HMAC是一种基于哈希函数的消息认证码（MAC），其算法如下：