尼尔·科布利茨;阿尔弗雷德·梅内泽斯。 再看一下“可证明的安全性”。 （英语） Zbl 1115.68078号 J.密码学 20，第1期，第3-37页（2007年）. 小结：我们对几个典型的“可证明安全性”结果进行了非正式分析和评论。在某些情况下，有直观但令人信服的论据支持拒绝正式术语和“证据”所建议的结论，而在其他情况下，形式主义似乎与常识一致。我们讨论了为什么寻找数学上令人信服的理论证据来支持公钥系统的安全性一直是研究人员的重要主题。然而，我们认为理论数学的理论证明范式在这里的相关性通常有限，并且经常导致论文混淆和误导。因为我们的论文是针对一般数学公众的，所以它是自足的，并且尽可能没有术语。 引用于2评论引用于22文件 MSC公司： 94A60型 密码学 94-02 与信息与传播理论相关的研究展览（专著、调查文章） 94A62型 身份验证、数字签名和秘密共享 68第25页 数据加密（计算机科学方面） PDF格式BibTeX公司 XML格式引用 \textit{N.Koblitz}和\textit{A.J.Menezes}，J.Cryptology 20，No.1，3--37（2007；Zbl 1115.68078） 全文： 内政部