{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:08Z","timestamp":1750307528727,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,6]],"date-time":"2009-07-06T00:00:00Z","timestamp":1246838400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["612.000.528"],"award-info":[{"award-number":["612.000.528"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,7,6]]},"DOI":"10.1145\/1562814.1562848","type":"proceedings-article","created":{"date-parts":[[2009,7,8]],"date-time":"2009-07-08T17:34:19Z","timestamp":1247074459000},"page":"257-266","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Verifying epistemic protocols under common knowledge"],"prefix":"10.1145","author":[{"given":"Yanjing","family":"Wang","sequence":"first","affiliation":[{"name":"Centrum Wiskunde en Informatica, Amsterdam, NL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lakshmanan","family":"Kuppusamy","sequence":"additional","affiliation":[{"name":"Centrum Wiskunde en Informatica, Amsterdam, NL"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"van Eijck","sequence":"additional","affiliation":[{"name":"Centrum Wiskunde en Informatica, Amsterdam, NL"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,7,6]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Group announcement logic","author":"Agotnes T.","year":"2008","unstructured":"T. Agotnes , P. Balbiani , H. van Ditmarsch , and P. Seban . Group announcement logic . 2008 . T. Agotnes, P. Balbiani, H. van Ditmarsch, and P. Seban. Group announcement logic. 2008."},{"key":"e_1_3_2_1_2_1","first-page":"3","article-title":"Avoiding bias in cards cryptography","volume":"44","author":"Atkinson M. D.","year":"2009","unstructured":"M. D. Atkinson , H. van Ditmarsch , and S. Roehling . Avoiding bias in cards cryptography . Australasian Journal of Combinatorics , 44 : 3 -- 17 , February 2009 . M. D. Atkinson, H. van Ditmarsch, and S. Roehling. Avoiding bias in cards cryptography. Australasian Journal of Combinatorics, 44:3--17, February 2009.","journal-title":"Australasian Journal of Combinatorics"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1989.0125"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62214"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"Fagin R.","year":"1995","unstructured":"R. Fagin , J. Y. Halpern , M. Y. Vardi , and Y. Moses . Reasoning about knowledge . MIT Press , Cambridge, MA, USA , 1995 . R. Fagin, J. Y. Halpern, M. Y. Vardi, and Y. Moses. Reasoning about knowledge. MIT Press, Cambridge, MA, USA, 1995."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093890715"},{"key":"e_1_3_2_1_7_1","first-page":"141","volume-title":"In Proc. CRYPTO","author":"Fischer M. J.","year":"1991","unstructured":"M. J. Fischer and R. N. Wright . Multiparty secret key exchange using a random deal of cards . In In Proc. CRYPTO , pages 141 -- 155 , 1991 . M. J. Fischer and R. N. Wright. Multiparty secret key exchange using a random deal of cards. In In Proc. CRYPTO, pages 141--155, 1991."},{"key":"e_1_3_2_1_8_1","first-page":"71","article-title":"Bounds on secret key exchange using a random deal of cards. Journal of Cryptology","volume":"9","author":"Fischer M. J.","year":"1996","unstructured":"M. J. Fischer and R. N. Wright . Bounds on secret key exchange using a random deal of cards. Journal of Cryptology , Springer Verlag , 9 : 71 -- 99 , 1996 . M. J. Fischer and R. N. Wright. Bounds on secret key exchange using a random deal of cards. Journal of Cryptology, Springer Verlag, 9:71--99, 1996.","journal-title":"Springer Verlag"},{"key":"e_1_3_2_1_9_1","volume-title":"Puzzle-math","author":"Gamow G.","year":"1958","unstructured":"G. Gamow and M. Stern . Puzzle-math . Viking Adult , February 1958 . G. Gamow and M. Stern. Puzzle-math. Viking Adult, February 1958."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-005-3612-9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1324249.1324281"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jc.2006.04.006"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015590229647"},{"key":"e_1_3_2_1_15_1","first-page":"31","volume-title":"Studia Logica","author":"van Ditmarsch H.","year":"2003","unstructured":"H. van Ditmarsch . The russian cards problem . Studia Logica , pages 31 -- 62 , October 2003 . H. van Ditmarsch. The russian cards problem. Studia Logica, pages 31--62, October 2003."},{"key":"e_1_3_2_1_16_1","volume-title":"September","author":"van Ditmarsch H.","year":"2008","unstructured":"H. van Ditmarsch . Unconditionally secure protocols with card deals , September 2008 . H. van Ditmarsch. Unconditionally secure protocols with card deals, September 2008."},{"key":"e_1_3_2_1_17_1","first-page":"87","volume-title":"Logic and the Foundations of Game and Decision Theory (LOFT 7)","author":"van Ditmarsch H.","year":"2008","unstructured":"H. van Ditmarsch and B. Kooi . Semantic results for ontic and epistemic change . In G. Bonanno, W. van der Hoek, and M. Wooldridge, editors, Logic and the Foundations of Game and Decision Theory (LOFT 7) , pages 87 -- 117 , October 2008 . H. van Ditmarsch and B. Kooi. Semantic results for ontic and epistemic change. In G. Bonanno, W. van der Hoek, and M. Wooldridge, editors, Logic and the Foundations of Game and Decision Theory (LOFT 7), pages 87--117, October 2008."},{"key":"e_1_3_2_1_18_1","volume-title":"Dynamic Epistemic Logic","author":"van Ditmarsch H.","year":"2007","unstructured":"H. van Ditmarsch , W. van der Hoek , and B. Kooi . Dynamic Epistemic Logic . (Synthese Library). Springer , 1 st edition, November 2007 . H. van Ditmarsch, W. van der Hoek, and B. Kooi. Dynamic Epistemic Logic. (Synthese Library). Springer, 1st edition, November 2007.","edition":"1"},{"key":"e_1_3_2_1_19_1","volume-title":"Doe wel en zie niet om (do well and don't look back). Katholieke Illustratie (Catholic Illustrated Journal), 90(32):47","author":"van Tilburg G.","year":"1956","unstructured":"G. van Tilburg . Doe wel en zie niet om (do well and don't look back). Katholieke Illustratie (Catholic Illustrated Journal), 90(32):47 , 1956 . G. van Tilburg. Doe wel en zie niet om (do well and don't look back). Katholieke Illustratie (Catholic Illustrated Journal), 90(32):47, 1956."}],"event":{"name":"TARK '09: The 11th conference on Theoretical aspects of rationality and knowledge","acronym":"TARK '09","location":"California"},"container-title":["Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1562814.1562848","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1562814.1562848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:07Z","timestamp":1750249387000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1562814.1562848"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,6]]},"references-count":19,"alternative-id":["10.1145\/1562814.1562848","10.1145\/1562814"],"URL":"https:\/\/doi.org\/10.1145\/1562814.1562848","relation":{},"subject":[],"published":{"date-parts":[[2009,7,6]]},"assertion":[{"value":"2009-07-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}