Model checking Russian cards

Electronic Notes in Theoretical Computer Science

Volumn 149, Issue 2, 2006, Pages 105-123

  Van Ditmarsch, H P ^a   Van Der Hoek, W ^b   Van Der Meyden, R ^c   Ruan, J ^a  

^a UNIVERSITY OF OTAGO   (New Zealand)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

^c UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Cryptography; Epistemic logic; Information based protocols; Model checking; Unconditional security

Indexed keywords

CRYPTOGRAPHY; FORMAL LOGIC; INFORMATION ANALYSIS; MATHEMATICAL MODELS; SECURITY OF DATA;

EPISTEMIC LOGIC; INFORMATION BASED PROTOCOLS; MODEL CHECKING; UNCONDITIONAL SECURITY;

ARTIFICIAL INTELLIGENCE;

EID: 31644448537     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.07.029     Document Type: Conference Paper

References (20)

1. M.H. Albert, R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, and C.C. Handley. Safe communication for card players by combinatorial designs for two-step protocols. Australasian Journal of Combinatorics, 2005. To appear
2. A. Baltag, and L.S. Moss Logics for epistemic programs Synthese 139 2004 165 224 Knowledge, Rationality & Action 1-60
3. M. Burrows, M. Abadi, and R. Needham A logic of authentication ACM Transactions on Computer Systems 8 1990 18 36
4. K. Engelhardt, R. van der Meyden, and Y. Moses Knowledge and the logic of local propositions I. Gilboa Proceedings of TARK VII 1998 Morgan Kaufmann 29 41
5. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi Reasoning about Knowledge 1995 MIT Press Cambridge MA
6. M.J. Fischer, and R.N. Wright Bounds on secret key exchange using a random deal of cards Journal of Cryptology 9 2 1996 71 99
7. P. Gammie, and R. van der Meyden MCK: Model checking the logic of knowledge R. Alur D. Peled Proceedings of the 16th International conference on Computer Aided Verification (CAV 2004) 2004 Springer 479 483
8. J.D. Gerbrandy, and W. Groeneveld Reasoning about information change Journal of Logic, Language, and Information 6 1997 147 169
9. J.Y. Halpern, R. van der Meyden, and M.Y. Vardi Complete axiomatizations for reasoning about knowledge and time SIAM Journal on Computing 33 3 2004 674 703
10. K. Koizumi, T. Mizuki, and T. Nishizeki Necessary and sufficient numbers of cards for the transformation protocol K.-Y. Chwa J. Ian Munro Computing and Combinatorics, 10th Annual International Conference (COCOON 2004) LNCS 3106 2004 Springer 92 101
11. Franco Raimondi, and Alessio Lomuscio Verification of multiagent systems via ordered binary decision diagrams: An algorithm and its implementation 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004) 2004 IEEE Computer Society 630 637
12. R. Ramanujam, and S.P. Suresh Information based reasoning about security protocols Electr. Notes Theor. Comput. Sci. 55 1 2001
13. W. van der Hoek, and M. Wooldridge Model checking knowledge and time D. Bošnački S. Leue Model Checking Software, Proceedings of SPIN 2002 LNCS Volume 2318 2002 Springer 95 111
14. R. van der Meyden Common knowledge and update in finite environments Information and Computation 140 2 1998 115 157
15. H.P. van Ditmarsch Descriptions of game actions Journal of Logic, Language and Information 11 2002 349 365
16. H.P. van Ditmarsch The russian cards problem Studia Logica 75 2003 31 62
17. H.P. van Ditmarsch. The case of the hidden hand. In Liber Amicorum Dick de Jongh, 2004. (electronically published) ISBN 90 5776 1289
18. J. van Eijck. Dynamic epistemic modelling. Technical report, Centrum voor Wiskunde en Informatica, Amsterdam, 2004. CWI Report SEN-E0424
19. J. van Eijck and J. Ruan. Action emulation. manuscript, 2005
20. S. van Otterloo, W. van der Hoek, and M. Wooldridge Model checking a knowledge exchange scenario Applied Artificial Intelligence 18 9-10 2004 937 952