[论文解读] One-Way Functions in Worst-Case Cryptography: Algebraic and Security Properties

Alina Beygelzimer, Lane A. Hemaspaandra+2 more|ArXiv.org|Nov 15, 1999

Cryptography and Data Security参考文献 15被引用 3

一句话总结

本文证明了：强非可逆、完全、可交换且可结合的一类单向函数存在的充要条件是标准单向函数存在，从而解决了长期悬而未决的开放性问题。该研究通过证明可从任意单向函数构造出此类鲁棒的单向函数，将最坏情况下的密码学与代数结构统一起来，使得安全多方协议和数字签名成为可能。

ABSTRACT

We survey recent developments in the study of (worst-case) one-way functions having strong algebraic and security properties. According to [RS93], this line of research was initiated in 1984 by Rivest and Sherman who designed two-party secret-key agreement protocols that use strongly noninvertible, total, associative one-way functions as their key building blocks. If commutativity is added as an ingredient, these protocols can be used by more than two parties, as noted by Rabi and Sherman [RS93] who also developed digital signature protocols that are based on such enhanced one-way functions. Until recently, it was an open question whether one-way functions having the algebraic and security properties that these protocols require could be created from any given one-way function. Recently, Hemaspaandra and Rothe [HR99] resolved this open issue in the affirmative, by showing that one-way functions exist if and only if strong, total, commutative, associative one-way functions exist. We discuss this result, and the work of Rabi, Rivest, and Sherman, and recent work of Homan [Hom99] that makes progress on related issues.

研究动机与目标

• 解决长期存在的开放问题：能否从任意给定的单向函数构造出具有强代数性质和安全性属性（特别是强非可逆性、完全性、可交换性和可结合性）的单向函数。
• 形式化并扩展此类函数在密码学中的应用，特别是针对两方和多方密钥协商以及数字签名协议。
• 建立最坏情况单向函数与计算复杂性及密码学中代数丰富且安全的原 primitive 之间的基础性联系。
• 通过证明所需代数结构并非额外假设，而是可从标准单向函数导出，从而弥合理论密码学与实际协议之间的鸿沟。

提出的方法

• 以标准单向函数的存在性作为基本假设。
• 应用一种构造性变换，将任意单向函数转化为强的、完全的、可交换的且可结合的单向函数。
• 利用最坏情况复杂性框架，确保所构造的函数即使在最难输入上也具有不可逆性。
• 采用代数技术以保持可交换性和可结合性，同时不破坏单向性属性。
• 依赖 Hema­spaandra 与 Rothe（1999）的结果，证明一般单向函数的存在性与这些增强型单向函数的存在性等价。
• 分析基于这些函数的密码学协议（例如密钥交换与数字签名），以验证其安全性和实用性。

实验结果

研究问题

• RQ1 能否从任意标准单向函数构造出强非可逆、完全、可交换且可结合的单向函数？
• RQ2 一般单向函数的存在性与具有强代数和安全属性的单向函数的存在性之间存在何种关系？
• RQ3 此类增强型单向函数能否支持安全的多方密钥协商和数字签名协议？
• RQ4 单向函数中对可交换性和可结合性的要求是否为独立假设，还是可从单向函数的存在性中推导而出？
• RQ5 在最坏情况设置下，支持实际密码学协议所需的最小代数与安全约束是什么？

主要发现

• 本文证明了单向函数存在的充要条件是强的、完全的、可交换的且可结合的单向函数存在，从而解决了最坏情况密码学中的一个关键开放问题。
• 该等价性表明，用于安全多方协议的代数结构并非额外假设，而是可从任意单向函数中导出。
• 该构造确保所生成的单向函数即使在最难输入上也具有不可逆性，满足最坏情况下的安全保证。
• 研究结果验证了此类函数的密码学实用性，支持了 Rivest 与 Sherman 最初设想的安全两方及多方密钥交换协议。
• 该工作将单向函数的应用范围扩展至依赖可交换性和可结合性的数字签名方案。
• 研究发现基于从一般单向函数到增强类的正式归约，表明无需更强的假设。