32、可证明安全的公钥加密

可证明安全的公钥加密

1 基本参数与条件

在公钥加密的相关操作中，涉及到一些重要的参数，这些参数需要满足特定的条件，以确保加密和解密过程的正确性和安全性。
- 参数说明 ：
- PlainLenMi ：这是一个整数，用于指定每个解密消息前缀的长度。该前缀被视为指向混合器 MMi 的控制数据，不会被转发。
- 其他参数：还涉及到 KEMMi.CipherLen 、 MACMi.OutLen 、 KEMMi.OutLen 、 STREAMMi.KeyLen 、 STREAMMi.OutLen 等。
- 参数条件 ：
- KEMMi.CipherLen + MACMi.OutLen + PlainLenMi < ℓ
- KEMMi.OutLen = STREAMMi.KeyLen + MACMi.KeyLen
- STREAMMi.OutLen = PlainLenMi + ℓ

2 加密过程

加密是将消息通过混合器链 M1, ..., Mn 进行传输的重要步骤。下面详细介绍加密的具体流程。

2.1 消息长度与填充

设 payload 为