[논문 리뷰] Mathematical foundations of modern cryptography: computational complexity perspective

Shafi Goldwasser|ArXiv.org|2002. 12. 01.

Cryptography and Data Security참고 문헌 64인용 수 3

한 줄 요약

이 논문은 현대 암호학의 계산 복잡도 기초를 수립하며, 단방향 함수, 의사난수성, 제로지식 증명과 같은 개념이 안전한 암호화 및 프로토콜을 뒷받침하는 방식을 보여준다. 이는 안전한 암호학이 어려운 문제의 존재(예: 단방향 함수의 역함수 계산)에 의존하며, 구성적 감소를 통해 보안을 증명함으로써 암호학적 보안을 복잡도 이론적 가정(예: NP ≠ P)과 연결함을 보여준다.

ABSTRACT

Theoretical computer science has found fertile ground in many areas of mathematics. The approach has been to consider classical problems through the prism of computational complexity, where the number of basic computational steps taken to solve a problem is the crucial qualitative parameter. This new approach has led to a sequence of advances, in setting and solving new mathematical challenges as well as in harnessing discrete mathematics to the task of solving real-world problems. In this talk, I will survey the development of modern cryptography -- the mathematics behind secret communications and protocols -- in this light. I will describe the complexity theoretic foundations underlying the cryptographic tasks of encryption, pseudo-randomness number generators and functions, zero knowledge interactive proofs, and multi-party secure protocols. I will attempt to highlight the paradigms and proof techniques which unify these foundations, and which have made their way into the mainstream of complexity theory.

연구 동기 및 목표

• 계산 복잡도 이론을 사용하여 현대 암호학의 이론적 기초를 체계화하기.
• 암호화, 디지털 서명, 안전한 다자간 계산과 같은 암호학적 과제에 필요한 최소한의 필수 조건과 충분 조건을 규명하기.
• 계산적 불가분성과 구성적 감소와 같은 복잡도 이론적 프레임워크를 통해 암호 primitive를 통합하기.
• 암호학 연구가 복잡도 이론에 기여한 바, 새로운 증명 기법과 연구 주제를 도입한 방식을 보여주기.

제안 방법

• 암호 스킴을 해독할 수 있다면, 단방향 함수의 역함수 계산과 같은 어려운 계산 문제를 다항식 시간 내에 해결할 수 있음을 보여주는 구성적 감소를 사용하여 보안을 증명하기.
• 계산적 불가분성에 기반한 보안 정의에서, 어떤 효율적 공격자도 진짜 객체와 의사난수 객체를 구분할 수 없음을 보장하기.
• 상호작용 증명 시스템과 제로지식 프로토콜을 활용하여, 개인 정보를 드러내지 않은 채로 안전한 계산을 가능하게 하기.
• 난수 자가환원성, 경계 강화, 시뮬레이션 추론과 같은 기법을 적용하여 암호 구조를 강화하기.
• 의사난수 함수를 사용하여 학습 이론에서의 부정적 결과와 회로 하한선을 도출함으로써, 자연 증명의 한계를 보여주기.
• 통계적 테스트를 전체 진리표 액세스까지 확장하여, 강력한 적대적 질의 조건 하에서 의사난수성의 한계를 분석하기.

실험 결과

연구 질문

• RQ1 안전한 디지털 서명이 존재하기 위해 필요한 최소한의 복잡도 가정은 무엇인가?
• RQ2 정수 분해나 단방향 함수와 같은 어려운 문제로의 감소를 통해 암호 보안을 어떻게 체계적으로 증명할 수 있는가?
• RQ3 의사난수 함수와 치환은 계산 학습 이론에서 개념 클래스의 학습 가능성에 어떤 영향을 미치거나 제한하는가?
• RQ4 모든 통계적 테스트, 특히 진리표 전체 액세스가 가능한 테스트까지 포함하여, 의사난수 함수가 모든 테스트를 속일 수 있는가?
• RQ5 상호작용 증명 시스템은 적대적 동맹이 존재하는 조건에서 안전한 다자간 계산의 실현 가능성에 어떤 영향을 미치는가?

주요 결과

• 단방향 함수의 존재는 안전한 디지털 서명이 존재하기 위해 필수적이며 충분함을 구성적 감소를 통해 증명함.
• 구성적 감소는 암호 시스템이 해독 가능하다면, 정수 분해와 같은 어려운 문제를 다항식 시간 내에 해결할 수 있음을 보여주며, 이로써 보안이 복잡도 가정과 연결됨.
• 의사난수 함수는 일관된 분포 하에서 멤버십 질의로는 효율적으로 학습될 수 없으며, 이는 계산 학습 이론에서의 장벽을 설정함.
• 회로 하한선을 확립하는 데 사용되는 자연 증명은 의사난수 함수를 포함하는 복잡도 클래스에서는 성공할 수 없으며, 이는 복잡도 하한선 기법의 근본적 한계를 드러냄.
• 단방향 함수의 역함수 계산이 지수 시간이 걸린다고 가정할 경우, 모든 최종 통계적 테스트를 통과하는 의사난수 함수 가족이 존재함.
• 쌍방향 채널이 안전하다면, 참여자의 1/3 미만의 적대적 동맹이 존재하는 조건에서도 다자간 안전 계산이 가능하며, 다항식 기반 오류 수정 코드를 기반으로 한 프로토콜을 통해 실현됨.