论文研究公钥密码方案的可证明安全性注记.pdf

长期以来，人们对于可证明安全的认识存在着一些误区：可证明安全的方案一定是安全的，归约证明紧的一定比归约松的更安全。总结了与方案安全性有关的几个要素，分析了公钥密码方案可证明安全的实质，纠正了以往的一些错误认识，指出可证明安全的方案不一定是安全的，归约紧的方案不一定比归约松的更安全。方案的安全性要综合四个要素一起考虑，总的来说，攻击模型越难，攻击目标越容易，困难问题越难，而归约证明最紧的方案越安全。