可证明安全的模型有（）。

可证明安全的模型有（）。
A.敌手模型
B.挑战者模型
C.随机预言模型
D.标准模型
答案：ACD
答案解析：可证明安全的模型有敌手模型，模拟攻击者的行为；随机预言模型，提供随机预言机；标准模型，不依赖随机预言机等额外假设。挑战者模型不是可证明安全的典型模型。