[논문 리뷰] When is a Function Securely Computable?

Himanshu Tyagi, Prakash Narayan외 1명|arXiv (Cornell University)|2010. 07. 17.

Wireless Communication Security Techniques참고 문헌 14인용 수 6

한 줄 요약

이 논문은 종단에서 상관된 신호를 관측하는 종단의 부분집합이 함수 g를 안전하게 계산할 수 있는지 여부를 특정하기 위해, g의 엔트로피가 관련된 기밀 키 생성 모델의 보조 기밀 키(ASK) 용량보다 작을 때만 가능하다고 규명한다. 저자들은 이 ASK 용량에 대해 단일 문자형 특성화를 제공하며, H(g) < C 이면 공개 통신을 모니터링하는 스파이에 대해 함수 값이 정보 이론적으로 은폐된 안전한 계산 프로토콜이 존재함을 증명한다.

ABSTRACT

A subset of a set of terminals that observe correlated signals seek to compute a given function of the signals using public communication. It is required that the value of the function be kept secret from an eavesdropper with access to the communication. We show that the function is securely computable if and only if its entropy is less than the "aided secret key" capacity of an associated secrecy generation model, for which a single-letter characterization is provided.

연구 동기 및 목표

• 상관된 신호를 관측하는 종단의 부분집합이 함수를 안전하게 계산할 수 있는 필요 및 충분 조건을 규명하는 것.
• 공개 통신이 있는 다종단 소스 모델에서 안전한 함수 계산과 기밀 키 생성 간의 연결 고리를 설정하는 것.
• 안전한 계산을 위한 기본 한계로 보조 기밀 키(ASK) 용량을 도입하고 특성화하는 것.
• 함수의 안전한 계산 가능성이 함수의 엔트로피가 ASK 용량보다 엄격히 작을 때에만 가능하다는 것을 보여주는 것.
• 안전하게 계산된 함수에 잔여 기밀 공통 랜덤성을 추가하여 종단 전체에 대해 최적의 기밀 키를 형성할 수 있음을 보여주는 것.

제안 방법

• 공개 통신를 사용하는 새로운 샤논 이론적 다종단 소스 모델을 안전한 함수 계산을 위해 수립하는 것.
• 보조 기밀 키(ASK) 개념을 도입하여, 보조 정보(함수 값)를 수신하는 보조 집합 Ac에 속한 종단이 기밀 키 복구를 보조하도록 하는 것.
• 종단 관측치의 최대 공통 함수 개념과 정보 이론적 부등식을 사용하여 ASK 용량을 단일 문자형으로 특성화하는 것.
• 조건부 분포 분석에서 확률적 집중 현상을 다루기 위해 균형 잡힌 색칠 렘마를 적용하는 것.
• 고확률 사건 하에서 조건부 확률의 차이를 유계화하기 위해 랜덤 변수 U와 U' 간의 커플링 추론을 사용하는 것.
• 확률적 방법을 활용하여 랜덤 색칠 함수가 고확률로 요구되는 균일성 조건을 만족함을 보여주는 것.

실험 결과

연구 질문

• RQ1 상관된 신호를 관측하는 종단의 부분집합 A가 함수 g를 안전하게 계산할 수 있는 조건은 무엇인가?
• RQ2 일부 종단에 보조 정보가 제공될 때 생성할 수 있는 기밀 공통 랜덤성의 비율에 대한 기본 한계는 무엇인가?
• RQ3 안전한 함수 계산 가능성은 관련된 기밀 키 생성 모델의 기밀 키 용량과 어떻게 관련이 있는가?
• RQ4 함수의 엔트로피가 그 안전한 계산 가능성에 대한 충분 조건이 될 수 있는가?
• RQ5 잔여 기밀 공통 랜덤성은 안전하게 계산된 함수를 최적의 기밀 키로 확장하는 데 어떤 역할을 하는가?

주요 결과

• 함수 g는 관련된 기밀 키 생성 모델의 보조 기밀 키(ASK) 용량 C보다 엔트로피 H(g)가 엄격히 작을 때에만 종단의 부분집합 A에 의해 안전하게 계산될 수 있다.
• ASK 용량 C는 종단 관측치의 최대 공통 함수 기반으로 단일 문자형으로 특성화될 수 있다.
• H(g) < C 이면, A에 속한 종단이 공개 통신을 통해 g를 계산하면서도 스파이가 공개 통신을 모니터링하더라도 함수 값의 정보 이론적 은폐를 달성할 수 있는 프로토콜이 존재한다.
• g의 안전한 계산은 잔여 기밀 공통 랜덤성을 추가함으로써 종단 전체 집합 M에 대해 엔트로피 H(g)와 동일한 비율의 기밀 키를 생성하는 데로 확장될 수 있다.
• 분석 결과, 랜덤 색칠에 의한 조건부 분포의 균일성 확보 실패 확률이 관련 매개변수에 대해 지수적으로 작아진다.
• 증명 기법은 조건부에서 높은 확률로 일치하는 두 랜덤 변수 간의 차이를 다룰 수 있는 개선된 균형 잡힌 색칠 렘마에 의존한다.