[논문 리뷰] One-Way Functions in Worst-Case Cryptography: Algebraic and Security Properties

Alina Beygelzimer, Lane A. Hemaspaandra외 2명|ArXiv.org|1999. 11. 15.

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.

연구 동기 및 목표

• 표준 일방함수의 존재와 동치로, 강력한 비가역성, 전사성, 가환성, 결합법칙을 만족하는 일방함수를 구성할 수 있는지 여부를 해결하는 것.
• 특히 이중 및 다자간 키 협약과 디지털 서명 프로토콜에서의 암호학적 응용을 체계화하고 확장하는 것.
• 악성 복잡도 일방함수와 계산 복잡도 및 암호학에서 대수적으로 풍부한 안전한 원천 간의 기본적인 관계를 설정하는 것.
• 이론적 암호학과 실용적 프로토콜을 연결하기 위해, 필요한 대수적 구조가 추가 가정이 아니라 표준 일방함수의 존재로부터 유도될 수 있음을 증명하는 것.

제안 방법

• 표준 일방함수의 존재를 기본 가정으로 삼는다.
• 어떤 일방함수라도 강력하고, 전사적이며, 가환성과 결합법칙을 만족하는 일방함수로 변환하는 구조적 변환을 적용한다.
• 결과적으로 생성된 함수가 가장 어려운 입력에 대해서도 비가역성이 유지되도록 악성 복잡도 프레임워크를 활용한다.
• 가환성과 결합법칙을 유지하면서도 일방함수 성질을 보존하기 위해 대수적 기법을 활용한다.
• Hemaspaandra와 Rothe(1999)의 결과를 활용하여 일반 일방함수의 존재와 이러한 강화된 일방함수의 존재 간의 동치성을 증명한다.
• 이러한 함수를 기반으로 한 암호학적 프로토콜(예: 키 교환 및 디지털 서명)을 분석하여 그 보안성과 유용성을 검증한다.

실험 결과

연구 질문

• RQ1 어떤 표준 일방함수로부터도 강력한 비가역성, 전사성, 가환성, 결합법칙을 만족하는 일방함수를 구성할 수 있는가?
• RQ2 일반 일방함수의 존재와 강력한 대수적 및 보안적 성질을 갖는 일방함수의 존재 간의 관계는 무엇인가?
• RQ3 이러한 강화된 일방함수는 안전한 다자간 키 협약 및 디지털 서명 프로토콜을 지원할 수 있는가?
• RQ4 일방함수에 대한 가환성과 결합법칙 요구사항은 독립적인 가정인가, 아니면 일방함수의 존재로부터 도출될 수 있는가?
• RQ5 악성 복잡도 환경에서 실용적인 암호학적 프로토콜을 지원하기 위해 필요한 최소한의 대수적 및 보안 제약 조건은 무엇인가?

주요 결과

• 논문은 일방함수가 존재함과 동시에 강력하고 전사적이며, 가환성과 결합법칙을 만족하는 일방함수가 존재함이 동치임을 증명하며, 악성 복잡도 암호학에서 핵심적인 열린 문제를 해결한다.
• 이 동치성은 안전한 다자간 프로토콜을 위한 필요로 하는 대수적 구조가 추가 가정이 아니라, 어떤 일방함수의 존재로부터도 도출될 수 있음을 시사한다.
• 이 구성은 결과적으로 생성된 일방함수가 가장 어려운 입력에 대해서도 비가역성이 유지되도록 보장하여, 악성 복잡도 보안 보장을 충족한다.
• 이러한 함수의 암호학적 유용성이 검증되어, Rivest와 Sherman가 처음으로 제안한 바와 같이 안전한 이중 및 다자간 키 교환 프로토콜을 가능하게 한다.
• 이 작업은 일방함수의 적용 범위를 가환성과 결합법칙을 활용하는 디지털 서명 체계로 확장한다.
• 결과는 일반 일방함수에서 강화된 클래스로의 형식적 감소를 바탕으로 하며, 더 강력한 가정이 필요로 하지 않음을 보여준다.