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

model checkingcryptographyepistemic logicunconditional securityinformation-based protocols

Mathematics Subject Classification ID

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

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

(12)

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

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)