[논문 리뷰] A secure additive protocol for card players

Andrés Cordón–Franco, Hans van Ditmarsch외 3명|arXiv (Cornell University)|2011. 11. 01.

graph theory and CDMA systems참고 문헌 11인용 수 13

한 줄 요약

이 논문은 앨리스, 박브, 캐스가 참가하는 세 장의 카드를 가진 플레이어를 위한 안전한 덧셈 프로토콜을 제안한다. 여기서 앨리스와 박브는 적절히 선택된 소수에 대해 자신의 카드 합을 모듈로로 공개적으로 발표함으로써, 개인의 카드를 캐스에게 드러내지 않은 채로 전체 카드 정보를 교환할 수 있다. 핵심 결과는 앨리스와 박브가 각각 2장 이상의 카드를 가지고 있고 캐스가 정확히 1장의 카드를 가진 경우, 이러한 프로토콜이 안전하고 정보적인데, 유일한 예외는 (4,3,1) 및 (3,4,1)의 경우이다.

ABSTRACT

Consider three players Alice, Bob and Cath who hold a, b and c cards, respectively, from a deck of d=a+b+c cards. The cards are all different and players only know their own cards. Suppose Alice and Bob wish to communicate their cards to each other without Cath learning whether Alice or Bob holds a specific card. Considering the cards as consecutive natural numbers 0,1,..., we investigate general conditions for when Alice or Bob can safely announce the sum of the cards they hold modulo an appropriately chosen integer. We demonstrate that this holds whenever a,b>2 and c=1. Because Cath holds a single card, this also implies that Alice and Bob will learn the card deal from the other player's announcement.

연구 동기 및 목표

• 앨리스와 박브가 서로의 전체 손패를 카드 소유권을 캐스에게 드러내지 않고 안전하게 교환할 수 있도록 공개 통신 프로토콜을 개발하는 것.
• 캐스가 단 한 장의 카드만 가진 경우, 이러한 프로토콜이 안전하게 유지되는 손패 크기 조건 (a,b,c) 를 규명하는 것.
• 전체 딱지 크기 d=a+b+c보다 크거나 같은 최소 소수 p를 사용한 합 모듈로 발표가 (a,b,1) 케이스에서 안전성과 정보성 모두를 보장함을 보여주는 것.
• 표준 프로토콜이 실패하는 특수 케이스인 (4,3,1) 및 (3,4,1)를 해결하고, 대체 모듈로 프로토콜이 여전히 안전함을 보여주는 것.
• 대수적 및 조합적 수론을 기반으로 한 무조건적 안전 정보 교환 프로토콜의 기초를 마련하는 것.

제안 방법

• 프로토콜은 각 플레이어의 카드 합을 소수 p ≥ d에 대해 모듈로로 공개하는 방식으로 작동하며, 여기서 d = a + b + c이다.
• p의 선택은 d 이상의 최소 소수이며, 이는 합 모듈로가 충분한 정보를 유지하면서 캐스에게 누출되는 정보를 최소화함을 보장한다.
• 안전성은 조합적 수론을 통해 입증되며, 특히 ℤ/dℤ 내의 서로 다른 부분합의 수에 대한 한계를 활용한다. 이는 에르되시-헤일브로른 추측(디아스 다 시우바와 하미두네에 의해 증명됨)에 기반한다.
• 증명은 주어진 모듈로 합과 일치하는 가능한 손패의 수가 충분히 많아 캐스가 개인의 카드 소유권을 유추할 수 없음을 보장함에 의존한다.
• d가 소수가 아닐 경우, 프로토콜은 d보다 큰 최소 소수 p를 사용하며, 버트란드의 정리와 나쿠라의 정리를 적용하여 p의 크기를 제한하고 안전 조건이 유지됨을 보장한다.
• 특수 케이스 (4,3,1) 및 (3,4,1)는 해슬켈을 사용한 계산적 분석을 통해 표준 프로토콜이 실패하지만, 수정된 버전(DModSum)은 여전히 안전함을 검증하였다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 (a,b,c) 가 앨리스와 박브가 소수에 대해 자신의 카드 합을 모듈로로 공개함으로써 캐스에게 개인의 카드 소유권을 드러내지 않고도 안전하게 통신할 수 있는가?
• RQ2 앨리스와 박브가 상대방의 합 발표를 통해 서로의 전체 카드 랜드를 배우면서도 캐스가 어떤 개인 카드도 알 수 없도록 하는 프로토콜을 설계할 수 있는가?
• RQ3 왜 표준 모듈로 합 프로토콜은 (4,3,1) 및 (3,4,1)에서 실패하는가? 그리고 이러한 경우에 대체 프로토콜이 안전성을 복원할 수 있는가?
• RQ4 버트란드의 정리와 나쿠라의 정리와 같은 수론적 결과가 안전하고 효율적인 프로토콜을 설계하는 데 어떻게 기여하는가?
• RQ5 캐스가 한 장 이상의 카드를 가진 경우에도 제안된 프로토콜을 일반화할 수 있는가?

주요 결과

• 표준 최소 소수 모듈로 합 프로토콜이 실패하는 (4,3,1) 및 (3,4,1)를 제외하고, 모든 (a,b,1)에 대해 프로토콜은 안전하고 정보적이다.
• a,b > 2 인 (a,b,1) 케이스에서, 최소 소수 p ≥ d에 대한 합 모듈로 발표는 캐스가 앨리스 또는 박브가 특정 카드를 가졌는지 유추할 수 없음을 보장한다.
• (a,b,1) 케이스에서, 캐스의 단일 카드 소유와 합 모듈로 p의 정보 이론적 성질 덕분에, 앨리스와 박브는 상대방의 합 발표로부터 전체 카드 랜드를 재구성할 수 있다.
• (3,3,1) 케이스는 이전에 모스크바 수학 올림피아드에서 알려진 7-ModSum 프로토콜의 특수한 경우이다.
• (4,3,1) 및 (3,4,1)의 경우, 최소 소수 모듈로 합 프로토콜은 안전하지 않지만, DModSum 프로토콜(각각 모듈로 8과 11을 사용)은 계산적으로 검증된 바, 여전히 안전하다.
• 나쿠라의 정리와 버트란드의 정리는 프로토콜에서 사용되는 소수 p의 크기를 제한하는 데 핵심적이며, a와 b가 큰 값일 때 안전 조건 ab - 2a - b - c + 1 ≥ 0 가 유지됨을 보장한다.