[논문 리뷰] Adaptive Concurrent Non-Malleability with Bare Public-Keys

Andrew Chi-Chih Yao, Moti Yung외 1명|ArXiv.org|2009. 10. 17.

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

한 줄 요약

이 논문은 신뢰할 수 있는 설정이 없는 바쁜 공개키(BPK) 모델에서 전략적 입력 선택 기능을 완전히 지원하는 상수 라운드 동시 비손상성 제로지식 및 동전 뒤집기 프로토콜을 수립하여, 적응형 동시 비손상성의 근본적인 미묘한 문제를 해결한다. 이는 BPK 모델에서 새로운 형태의 CNMZK 및 CNMCT를 제안하고, 실행 중에 입력과 언어를 동적으로 설정할 수 있는 적응형 CMIM 공격자에 대한 보안을 입증하며, 전략 제한 랜덤니스와 비밀키 독립성을 높은 확률로 달성한다.

ABSTRACT

Concurrent non-malleability (CNM) is central for cryptographic protocols running concurrently in environments such as the Internet. In this work, we formulate CNM in the bare public-key (BPK) model, and show that round-efficient concurrent non-malleable cryptography with full adaptive input selection can be established, in general, with bare public-keys (where, in particular, no trusted assumption is made). Along the way, we clarify the various subtleties of adaptive concurrent non-malleability in the bare public-key model.

연구 동기 및 목표

• 신뢰할 수 있는 설정이 없고 공개키가 유효하지 않을 수 있는 바쁜 공개키(BPK) 모델에서, 전체 적응형 입력 선택 기능을 갖춘 동시 비손상성의 정의를 명확히 하기 위해.
• 기존의 공개키 모델에서 동시 비손상성 제로지식(CNMZK)의 정의에 대한 부족함을 규명하고 수정하기 위해, 특히 적응형 CMIM 공격 하에서의 문제점을 다루기 위해.
• 모든 프로토콜의 안전한 구현을 뒷받침하는 상수 라운드 동시 비손상성 동전 뒤집기(CNMCT)의 정의와 보안 증명을 통해 BPK 모델에서 동시 비손상성 보안의 일반적 기초를 마련하기 위해.
• 특히 공격자가 세션 트랜스크립트의 변화에 따라 입력과 언어를 동적으로 선택할 수 있는 CMIM 환경에서, 적응형 입력 및 언어 선택의 복잡한 미묘함을 명확히 하기 위해.
• 신뢰당사자나 키 인증에 의존하지 않고, 상수 라운드이자 라운드 효율적인 동시 비손상성 보장과 함께, BPK 모델에서 전체 적응형 입력 및 언어 선택을 지원하기 위해.

제안 방법

• 세션 실행 중에 입력과 언어를 적응적으로 선택할 수 있도록, BPK 모델에서 동시 비손상성 제로지식(CNMZK)과 동전 뒤집기(CNMCT)를 재정의하여 전체 적응형 입력 및 언어 선택을 고려한다.
• 적응형 CMIM 공격 하에서도 진짜 플레이어의 행동을 모방하면서도, 불변성을 유지하는 시뮬레이터를 도입하여 전략 제한 랜덤니스와 사전 정의 가능한 랜덤니스를 보장한다.
• 다수의 왼쪽 세션 트랜스크립트를 기반으로 한 유효한 증명을 위조할 수 없도록 보장하기 위해, 핵심 원리로 '한 개의 왼쪽, 여러 개의 오른쪽' 비손상성 통계적 제로지식 증명의 지식(SZKAOK)을 사용한다.
• CRS 설정에서의 커밋먼트 스킴을 활용하여 공격자를 특정 공개키에 묶고, 프리이미지나 비밀키 추출 공격을 방지함으로써 비밀키 독립성을 확보한다.
• 모순을 통한 보안 분석: 만약 공격자가 동전 뒤집기 출력을 조작하거나 비밀키를 구분할 수 있다면, 이는 기반의 SZKAOK 프로토콜의 비손상성 성질을 위반하는 것이다.
• 추출된 비밀키와 시뮬레이션된 메시지의 분포 집합이 통계적으로 구분 불가능함을 보여줌으로써, 다양한 비밀키 하에서의 시뮬레이션 트랜스크립트의 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 신뢰할 수 있는 설정이 없는 바쁜 공개키 모델에서, 전체 적응형 입력 선택 기능을 갖춘 동시 비손상성은 안전하게 달성될 수 있는가?
• RQ2 특히 실행 중 입력과 언어 선택이 이루어지는 상황에서, BPK 모델에서 적응형 동시 비손상성의 정의를 세우는 데 있어 핵심적인 미묘한 문제들은 무엇인가?
• RQ3 BPK 모델에서 전략 제한 랜덤니스와 비밀키 독립성을 확보하기 위해, 상수 라운드 CNM 프로토콜을 어떻게 구성할 수 있는가?
• RQ4 기존의 공개키 모델에서의 CNMZK 정의는, 전체 입력 및 언어 적응성과 함께 적응형 CMIM 공격 하에서 증명이 불가능한가?
• RQ5 BPK 모델에서 일반적인 CNMCT 프로토콜을 구성할 수 있는가? 이는 동시 실행 하에서 임의의 암호 프로토콜의 안전한 구현을 위한 기초가 될 수 있는가?

주요 결과

• 논문은 BPK 모델에서 전체 적응형 입력 및 언어 선택을 지원하는 상수 라운드 동시 비손상성 동전 뒤집기(CNMCT) 프로토콜을 성공적으로 정의하였으며, 확률적 다항식 시간의 CMIM 공격자에 대해 보안을 확보한다.
• 제안된 CNMCT 프로토콜은 전략 제한 랜덤니스와 사전 정의 가능한 랜덤니스를 달성한다. 즉, 모든 성공적인 오른쪽 세션 출력은 독립적인 랜덤 스트링이거나 단일 왼쪽 세션의 출력이며, 다수의 오른쪽 세션 간에 값이 재사용되지 않는다.
• 비밀키 독립성이 증명되었다: 어떤 다항식 시간의 분별자도 실제 비밀키와 시뮬레이션된 비밀키를 구분할 수 있는 확률은 무시할 만큼 작다. 이는 공격자가 프로토콜 트랜스크립트를 통해 비밀키에 대한 정보를 얻을 수 없음을 의미한다.
• 프로토콜의 보안은 기반의 SZKAOK 프로토콜의 '한 개의 왼쪽, 여러 개의 오른쪽' 비손상성에 의존하며, 유효한 증명을 위조하거나 출력을 조작하려는 모든 尝시도는 이 비손상성 성질을 위반하게 된다.
• 분석 결과, 만약 공격자가 다수의 오른쪽 세션에서 동일한 왼쪽 세션 값으로 출력을 유도할 수 있다면, 이는 SZKAOK 프로토콜의 비손상성 위반이며, 모순을 초래한다.
• 본 연구는 BPK 모델에서 상수 라운드 동시 비손상성과 전체 적응형 입력 및 언어 선택이 가능함을 입증하며, 최소한의 설정 가정 하에서 오랫동안 남아 있던 적응형 CNM의 열린 문제를 해결한다.