[论文解读] A secure additive protocol for card players

Andrés Cordón–Franco, Hans van Ditmarsch+3 more|arXiv (Cornell University)|Nov 1, 2011

graph theory and CDMA systems参考文献 11被引用 13

一句话总结

本文提出了一种针对三名玩家（Alice、Bob 和 Cath）的保密加法协议，其中 Alice 和 Bob 可以公开宣布他们手中卡片之和模一个精心选择的素数，从而在不向 Cath 泄露各自具体卡片的情况下交换完整的卡片信息。关键结果是：当 Alice 和 Bob 各持有超过两张卡片，且 Cath 恰好持有 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.

研究动机与目标

• 开发一种公开通信协议，使 Alice 和 Bob 能够在不向 Cath 泄露各自卡片所有权的情况下，安全地交换其完整的手牌。
• 确定在 Cath 仅持有 1 张卡片时，此类协议保持安全性的手牌大小 (a,b,c) 的一般条件。
• 证明使用大于等于总牌堆大小 d=a+b+c 的最小素数进行模和公告，可在 (a,b,1) 情况下同时确保安全性和信息量。
• 解决标准协议在 (4,3,1) 和 (3,4,1) 情况下失效的异常情况，并表明替代的模协议仍可保持安全性。
• 为基于代数与组合数论的无条件安全信息交换协议奠定基础。

提出的方法

• 协议使用每个玩家手中卡片之和模一个素数 p ≥ d 的公开公告，其中 d = a + b + c。
• p 的选择为大于等于 d 的最小素数，以确保和模 p 保留足够的信息，同时最小化对 Cath 的信息泄露。
• 安全性通过组合数论建立，特别是 ℤ/dℤ 中不同子集和数量的界限，借鉴了 Erdős–Heilbronn 猜想（由 Dias da Silva 和 Hamidoune 证明）。
• 证明依赖于验证：与给定模 p 和一致的可能手牌数量足够大，以防止 Cath 推断出任何具体卡片的所有权。
• 当 d 不是素数时，协议使用大于 d 的最小素数 p，并应用 Bertrand 的命题和 Nagura 定理来界定 p 的大小，确保安全性条件成立。
• 通过 Haskell 进行计算分析，验证了 (4,3,1) 和 (3,4,1) 的特殊情况，表明标准协议失效，但改进版本（DModSum）仍保持安全。

实验结果

研究问题

• RQ1 在什么 (a,b,c) 条件下，Alice 和 Bob 可以安全地宣布其卡片之和模一个素数，而不向 Cath 泄露任何具体卡片的所有权？
• RQ2 是否可以设计一种协议，使 Alice 和 Bob 仅通过对方的和公告即可获知完整的发牌情况，同时使 Cath 对任何具体卡片一无所知？
• RQ3 为何标准模和协议在 (4,3,1) 和 (3,4,1) 情况下失效？能否通过替代协议恢复这些情况下的安全性？
• RQ4 像 Bertrand 的命题和 Nagura 定理这样的数论结果如何促进安全且高效的协议构建？
• RQ5 所提出的协议能否推广到 Cath 持有超过一张卡片的情况？

主要发现

• 该协议对所有满足 a,b > 2 的 (a,b,1) 情况均安全且具信息量，除了 (4,3,1) 和 (3,4,1) 两种情况，此时标准最小素数模和协议失效。
• 对于满足 a,b > 2 的 (a,b,1) 情况，宣布模最小素数 p ≥ d 的和，可确保 Cath 无法推断出 Alice 或 Bob 持有任何特定卡片。
• 在 (a,b,1) 情况下，Alice 和 Bob 可根据对方的和公告重构完整的发牌情况，这是由于 Cath 仅持有一张卡片，且模 p 和的信息论性质所致。
• (3,3,1) 情况是 7-ModSum 协议的一个特例，该协议已被证明安全，且此前已知于莫斯科数学奥林匹克竞赛。
• 对于 (4,3,1) 和 (3,4,1)，最小素数模和协议不安全，但 DModSum 协议（分别使用模 8 和模 11）经计算验证仍保持安全。
• Nagura 定理和 Bertrand 的命题在界定协议中使用的素数 p 时起关键作用，确保对于较大的 a 和 b，不等式 ab - 2a - b - c + 1 ≥ 0 成立。