We present the first formal mathematical presentation of the generalized Russian cards problem, and provide rigorous security definitions that capture both basic and extended versions of weak and perfect security notions. In the generalized Russian cards problem, three players, Alice, Bob, and Cathy, are dealt a deck of
n cards, each given
a,
b, and
c cards, respectively. The goal is for Alice and Bob to learn each other's hands via public communication, without Cathy learning the fate of any particular card. The basic idea is that Alice announces a set of possible hands she might hold, and Bob, using knowledge of his own hand, should be able to learn Alice's cards from this announcement, but Cathy should not. Using a combinatorial approach, we are able to give a nice characterization of informative strategies (i.e., strategies allowing Bob to learn Alice's hand), having optimal communication complexity, namely the set of possible hands Alice announces must be equivalent to a large set of
t−(n,a,1)-designs, where
t=a−c. We also provide some interesting necessary conditions for certain types of deals to be simultaneously informative and secure. That is, for deals satisfying
c=a−d for some
d≥2, where
b≥d−1 and the strategy is assumed to satisfy a strong version of security (namely perfect
(d−1)-security), we show that
a=d+1 and hence
c=1. We also give a precise characterization of informative and perfectly
(d−1)-secure deals of the form
(d+1,b,1) satisfying
b≥d−1 involving
d−(n,d+1,1)-designs.
In the Russian cards problem, Alice, Bob and Cath draw a, b and c cards, respectively, from a publicly known deck. Alice and Bob must then communicate their cards to each other without Cath learning who holds a single card. Solutions in the literature provide weak security, where Alice and Bob’s exchanges do not allow Cath to know with certainty who holds each card that is not hers, or perfect security, where Cath learns no probabilistic information about who holds any given card. We propose an intermediate notion, which we call
ε -strong security, where the probabilities perceived by Cath may only change by a factor of
ε . We then show that strategies based on affine or projective geometries yield
ε -strong safety for arbitrarily small
ε and appropriately chosen values of a, b, c.
In the generalized Russian cards problem, we have a card deck
X of
n cards and three participants, Alice, Bob, and Cathy, dealt
a,
b, and
c cards, respectively. Once the cards are dealt, Alice and Bob wish to privately communicate their hands to each other via public announcements, without the advantage of a shared secret or public key infrastructure. Cathy, for her part, should remain ignorant of all but her own cards after Alice and Bob have made their announcements. Notions for Cathy's ignorance in the literature range from Cathy not learning the fate of any individual card with certainty (weak
1-security) to not gaining any probabilistic advantage in guessing the fate of some set of
δ cards (perfect
δ-security). As we demonstrate in this work, the generalized Russian cards problem has close ties to the field of combinatorial designs, on which we rely heavily, particularly for perfect security notions. Our main result establishes an equivalence between perfectly
δ-secure strategies and
(c+δ)-designs on
n points with block size
a, when announcements are chosen uniformly at random from the set of possible announcements. We also provide construction methods and example solutions, including a construction that yields perfect
1-security against Cathy when
c=2. Drawing on our equivalence results, we are able to use a known combinatorial design to construct a strategy with
a=8,
b=13, and
c=3 that is perfectly
2-secure. Finally, we consider a variant of the problem that yields solutions that are easy to construct and optimal with respect to both the number of announcements and level of security achieved. Moreover, this is the first method obtaining weak
δ-security that allows Alice to hold an arbitrary number of cards and Cathy to hold a set of
c=⌊2a−δ⌋ cards. Alternatively, the construction yields solutions for arbitrary
δ,
c and any
a≥δ+2c.
In unconditionally secure protocols, a sender and receiver are able to communicate their secrets to each other without the eavesdropper(s) being able to learn the secret, even when the eavesdropper intercepts the entire communication. We investigate such protocols for the special case of deals of cards over players, where two players aim to communicate to each other their hand of cards without the remaining player(s) learning a single card from either hand. In this contribution we show that a particular protocol of length strictly larger than two (i.e., consisting of more than just one announcement by one player, and one other announcement by the other player) is after all not acceptable, and therefore does not constitute a new solution. The demonstration requires a detailed case-based analysis. The result may bring a general approach to arbitrary finite-length protocols closer.
Assume that Alice, Bob, and Carol, each of whom privately holds a one-bit input, want to learn the output of some Boolean function, say the majority function, of their inputs without revealing more of their own secret inputs than necessary. In this paper, we show that such a secure three-input function evaluation can be performed with a deck of real cards; specifically, the three players can learn only the output of the function using eight physical cards — four black and four red cards — with identical backs.
The problem of
A privately transmitting information to
B by a public announcement overheard by an eavesdropper
C is considered. To do so by a deterministic protocol, their inputs must be correlated. Dependent inputs are represented using a deck of cards. There is a publicly known signature
(a,b,c), where
n=a+b+c+r, and
A gets
a cards,
B gets
b cards, and
C gets
c cards, out of the deck of
n cards. Using a deterministic protocol,
A decides its announcement based on her hand. Using techniques from coding theory, Johnson graphs, and additive number theory, a novel perspective inspired by distributed computing theory is provided, to analyze the amount of information that
A needs to send, while preventing
C from learning a single card of her hand. In one extreme, the generalized Russian cards problem,
B wants to learn all of
A's cards, and in the other,
B wishes to learn something about
A's hand.