（十八）计算假设下的加密安全性证明（二）

解密模拟的要求

在判定困难问题假设下的加密方案安全归约中，若ZZZ为真，则解密模拟必须与真实攻击不可区分；若ZZZ为假，则解密模拟必须不帮助敌手破解假挑战密文。然而，解密模拟对这类安全规约的要求略有不同。在敌手向RO发起挑战哈希查询之前，有如下要求。

• 要求解密模拟与真实方案下的解密不可区分。否则，模拟与真实攻击是可区分的。为了实现这一点，在模拟方案中，与真实方案相同任何密文都将被接受或拒绝。
<