The Russian cards problem
From MaRDI portal
Publication:1420803
DOI10.1023/A:1026168632319zbMath1033.03008OpenAlexW102721760MaRDI QIDQ1420803
Publication date: 23 January 2004
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026168632319
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Cryptography (94A60) Logics of knowledge and belief (including belief change) (03B42) Signaling and communication in game theory (91A28)
Related Items
Perfectly secure data aggregation via shifted projections, Composing models, Logics of Rational Interaction, Symbolic Model Checking for Dynamic Epistemic Logic, Crossing hands in the Russian cards problem, The secret of my success, A colouring protocol for the generalized Russian cards problem, To be announced, Additional constructions to solve the generalized Russian cards problem using combinatorial designs, Secure aggregation of distributed information: how a team of agents can safely share secrets in front of a spy, To know or not to know: Epistemic approaches to security protocol verification, Unnamed Item, Arbitrary public announcement logic with memory, A public announcement separation logic, Unnamed Item, Information dynamics and uniform substitution, On axiomatizations of public announcement logic, A geometric protocol for cryptography with cards, A case study in almost-perfect security for unconditionally secure communication, Combinatorial solutions providing improved security for the generalized Russian cards problem, Group announcement logic, Proving possession of arbitrary secrets while not giving them away: New protocols and a proof in GNY logic, Unconditional secure communication: a Russian cards protocol, Knowledge condition games, A distributed computing perspective of unconditionally secure information transmission in Russian cards problems, Positive announcements, A distributed computing perspective of unconditionally secure information transmission in Russian cards problems, Three Steps, Schematic Validity in Dynamic Epistemic Logic: Decidability, Knowledge and Action in Semi-public Environments, The case of the hidden hand, Verification and strategy synthesis for coalition announcement logic
