Three Steps

DOI10.1007/978-3-642-22359-4_4zbMath1348.68272MaRDI 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

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

68T42: Agent technology and artificial intelligence

Related Items

Unnamed Item, 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, A colouring protocol for the generalized Russian cards problem, Additional constructions to solve the generalized Russian cards problem using combinatorial designs, A geometric protocol for cryptography with cards, A case study in almost-perfect security for unconditionally secure communication, Perfectly secure data aggregation via shifted projections, Crossing hands in the Russian cards problem, Combinatorial solutions providing improved security for the generalized Russian cards problem

Uses Software

• DEMO

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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