罗素·英帕利亚佐;史蒂文·鲁迪奇 单向置换可证明结果的限制。 （英语） Zbl 0718.68042号 密码学进展-Crypto’88，Proc。Conf.，圣巴巴拉，加利福尼亚州/美国，1988年，Lect。注释计算。科学。403, 8-26 (1990). 摘要：我们提供了强有力的证据，证明“如果存在单向排列，那么安全密钥协议是可能的”这一含义是无法用标准技术证明的。由于在现实生活中，这一暗示的双方都被广泛认为是正确的，要证明这一暗示是错误的，就需要一个新的模型。我们考虑一个世界，其中所有各方都可以访问随机选择排列的黑盒。由于完全随机，这种排列将以可证明的信息理论方式呈强单向。我们证明了，如果\（\text{P}=\text{NP}\），那么在这种情况下，没有密钥协商协议是安全的。因此，要证明使用单向置换作为黑盒的密钥协商协议是安全的，与证明（\text{P}\neq\text{NP}）一样困难。我们还得出，作为推论，存在一个隐含为假的预言，即存在单向排列，但不可能进行秘密交换。因此，没有任何相对化的技术可以证明秘密交换可以基于任何单向置换。我们的结果提供了一个通用框架，用于证明“仅基于复杂性假设Y，加密应用程序X不可能实现”这一形式的语句[关于整个系列，请参见Zbl 0709.00023号.] 引用于21评论引用于130文件 MSC公司： 65年第68季度 算法和问题复杂性分析 68第25页 数据加密（计算机科学方面） 94A60型 密码学 关键词：单向排列;安全密钥协议 引文：Zbl 0709.00023号 PDF格式BibTeX公司 XML格式