Three Steps

DOI10.1007/978-3-642-22359-4_4zbMath1348.68272OpenAlexW2912044254MaRDI QIDQ3092292

Fernando Soler-Toscano, Hans P. van Ditmarsch

Publication date: 16 September 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22359-4_4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Agent technology and artificial intelligence (68T42)

Related Items (10)

Perfectly secure data aggregation via shifted projections ⋮ Crossing hands in the Russian cards problem ⋮ A colouring protocol for the generalized Russian cards problem ⋮ Additional constructions to solve the generalized Russian cards problem using combinatorial designs ⋮ Unnamed Item ⋮ 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 ⋮ A distributed computing perspective of unconditionally secure information transmission in Russian cards problems ⋮ A distributed computing perspective of unconditionally secure information transmission in Russian cards problems

Uses Software

• DEMO

Cites Work

• A knowledge based semantics of messages
• The Russian cards problem
• Bounds on secret key exchange using a random deal of cards
• Using temporal logics of knowledge for specification and verification -- a case study
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Combinatorial Designs
• Computing and Combinatorics
• Computations with a deck of cards
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Three Steps