Model Checking Russian Cards

We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Cryptography, unconditional security, model checking, information-based protocols, epistemic logic. This is a preliminary version. The final version will be published in Electronic Notes in Theoretical Computer Science URL: www.elsevier.nl/locate/entcs 

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan
• Keywords: Computer Science URL, ENTCS 2006, Epistemic Logic, Epistemic Model Checkers