（十六）在判定假设下加密的安全证明（三）
解密的模拟
在安全分析中，我们必须证明解密的模拟是正确的。
解密的模拟必须满足以下条件。
- 如果ZZZ为真，解密的模拟与真实方案的解密是不可区分的。否则我们不能证明，模拟与真实攻击不可区分。这里的不可区分性意味着模拟方案与真实方案一样将接受正确的密文，和拒绝错误的密文。为了确保解密的模式是不可区分的。最简单的方式是模拟能够产生一个针对解密的有效私钥。
- 如果ZZZ
深入了解每一个知识点
在安全分析中，我们必须证明解密的模拟是正确的。
解密的模拟必须满足以下条件。