[논문 리뷰] Characterizations of the Existence of Partial and Total One-Way Permutations

Jörg Rothe, Lane A. Hemaspaandra|ArXiv.org|1999. 07. 26.

Cryptography and Data Security참고 문헌 27인용 수 4

한 줄 요약

이 논문은 NP 집합에 대한 쉽게 확인할 수 있는 증거를 포함하는 복잡도 이론적 조건을 사용하여 부분적 및 전순적 일방 순열의 존재성을 특성화한다. 부분적 일방 순열이 존재하는 것은 P ≠ UP이면서 쉽게 확인할 수 있는 증거를 가진 집합에 대해 성립하고, 전순적 일방 순열이 존재하는 것은 특정한 P 및 FewP 집합이 균일하게 쉽게 확인할 수 있는 증거를 갖지 않을 때 성립하며, 이는 그라델의 결과를 통해 암호학적 가정을 계산 복잡도 이론과 유한 모델 이론과 연결한다.

ABSTRACT

In this note, we study the easy certificate classes introduced by Hemaspaandra, Rothe, and Wechsung, with regard to the question of whether or not surjective one-way functions exist. This is an important open question in cryptology. We show that the existence of partial one-way permutations can be characterized by separating P from the class of UP sets that, for all unambiguous polynomial-time Turing machines accepting them, always have easy (i.e., polynomial-time computable) certificates. This extends results of Grollmann and Selman. By Grädel's recent results about one-way functions, this also links statements about easy certificates of NP sets with statements in finite model theory. Similarly, there exist surjective poly-one one-way functions if and only if there is a set L in P such that not all FewP machines accepting L always have easy certificates. We also establish a condition necessary and sufficient for the existence of (total) one-way permutations.

연구 동기 및 목표

• 복잡도 클래스와 증거 성질을 사용하여 부분적 일방 순열의 존재성을 특성화하는 것.
• P 및 FewP 집합의 구조적 성질을 통해 전사적 다항-일대일 일방 함수의 존재성을 조사하는 것.
• 증거 계산 가능성에 기반한 전순적 일방 순열에 대한 필요 및 충분 조건을 수립하는 것.
• 그라델의 일방 함수에 대한 결과를 통해 암호학적 가정을 유한 모델 이론과 연결하는 것.
• 그로름안 및 셀만의 쉽게 확인할 수 있는 증거에 대한 기존 작업을 일방 순열로 확장하는 것.

제안 방법

• NP 집합에 대해 다항시간에 계산 가능한 증거인 '쉽게 확인할 수 있는 증거'의 개념을 사용한다. 이는 비결정적 다항시간 튜링 기계가 수용하는 집합에 대해 적용된다.
• 부분적 일방 순열을 특성화하기 위해 P와 항상 쉽게 확인할 수 있는 증거를 가진 UP 집합들의 분리 성질을 분석한다.
• 그라델의 일방 함수에 대한 결과를 적용하여 NP에서 쉽게 확인할 수 있는 증거에 대한 진술을 유한 모델 이론과 연결한다.
• FewP 기계와 그 증거 성질을 고려하여 전사적 다항-일대일 일방 함수의 존재성을 분석한다.
• P 및 FewP에서 특정 집합에 대해 쉽게 확인할 수 있는 증거의 비균일 존재성을 기반으로 전순적 일방 순열에 대한 필요 및 충분 조건을 수립한다.
• 복잡도 이론적 감소와 논리적 특성화를 활용하여 일방 순열에 대한 구조적 조건을 유도한다.

실험 결과

연구 질문

• RQ1 부분적 일방 순열은 언제 존재하며, 이는 어떤 복잡도 클래스의 관점에서 특성화될 수 있는가?
• RQ2 전사적 다항-일대일 일방 함수의 존재를 위한 P 및 FewP 집합의 구조적 성질은 무엇이며, 이것이 필요 및 충분 조건이 되는가?
• RQ3 UP 및 FewP에서 쉽게 확인할 수 있는 증거의 성질은 전순적 일방 순열의 존재와 어떻게 관련되는가?
• RQ4 이 결과들은 암호학적 가정과 유한 모델 이론을 어떻게 연결하는가?
• RQ5 이 연구 결과는 그로름안 및 셀만의 쉽게 확인할 수 있는 증거에 대한 이전 작업을 어떻게 확장하거나 일반화하는가?

주요 결과

• 부분적 일방 순열이 존재하는 것은, 항상 쉽게 확인할 수 있는 증거를 가진 UP 집합이 존재하고, 그러한 집합에 대해 P ≠ UP일 때에만 성립한다.
• 전사적 다항-일대일 일방 함수가 존재하는 것은, P에 속한 집합 L이 존재하고, L을 수용하는 모든 FewP 기계가 균일하게 쉽게 확인할 수 있는 증거를 갖지 않을 때에만 성립한다.
• 전순적 일방 순열의 존재에 대한 필요 및 충분 조건은 특정 집합에 대해 P 및 FewP에서 쉽게 확인할 수 있는 증거의 비균일 존재성이다.
• 결과들은 그라델의 일방 함수에 대한 최근 결과를 통해 일방 순열의 존재성과 유한 모델 이론 간의 다리를 놓는다.
• 논문은 그로름안 및 셀만의 프레임워크를 확장하여, 단지 NP 집합이 아닌 증거 복잡도를 통해 일방 순열을 특성화한다.
• 일방 순열의 특성화는 쉽게 확인할 수 있는 증거를 가진 NP 집합의 클래스와 P 사이의 분리 성질을 통해 표현되며, 이는 새로운 구조적 시각을 제공한다.