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

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, 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