Model checking Russian cards

MaRDI QIDQ2852032zbMATH OpenFDO

Authors Wiebe van der Hoek, Ron van der Meyden, J. Ruan, Hans van Ditmarsch

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106000727

zbMATH Keywords

cryptographyepistemic logicinformation-based protocolsmodel checkingunconditional security

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60) Cryptography (94A60)

Recommendations

• Generalized Russian Cards Problem
• The Russian cards problem
• Crossing hands in the Russian cards problem
• A colouring protocol for the generalized Russian cards problem
• Information Exchange in the Russian Cards Problem
• Model Checking Games
• Fast Directed Model Checking Via Russian Doll Abstraction
• scientific article; zbMATH DE number 1848381
• Additional constructions to solve the generalized Russian cards problem using combinatorial designs
• scientific article; zbMATH DE number 910719

Cited in

(13)

• Crossing hands in the Russian cards problem
• Combinatorial solutions providing improved security for the generalized Russian cards problem
• Logics of rational interaction
• Automatic data-abstraction in model checking multi-agent systems
• Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
• Three steps
• Optimizing epistemic model checking using conditional independence (extended abstract)
• Symbolic Model Checking for Dynamic Epistemic Logic
• A colouring protocol for the generalized Russian cards problem
• Additional constructions to solve the generalized Russian cards problem using combinatorial designs
• To know or not to know: Epistemic approaches to security protocol verification
• Information Exchange in the Russian Cards Problem
• Faithful Logic Embeddings in HOL — Deep and Shallow (Isabelle/HOL dataset)

This page was built for publication: Model checking Russian cards

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852032)