{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T05:19:25Z","timestamp":1740806365173,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642161605"},{"type":"electronic","value":"9783642161612"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16161-2_25","type":"book-chapter","created":{"date-parts":[[2010,11,27]],"date-time":"2010-11-27T03:17:14Z","timestamp":1290827834000},"page":"429-447","source":"Crossref","is-referenced-by-count":4,"title":["Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast"],"prefix":"10.1007","author":[{"given":"Omar I.","family":"Al-Bataineh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ron","family":"van der Meyden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-540-30482-1_15","volume-title":"Formal Methods and Software Engineering","author":"K. Baukus","year":"2004","unstructured":"Baukus, K., van der Meyden, R.: A knowledge based analysis of cache coherence. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 99\u2013114. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Chaum, D.: The dining cryptographers problem: Unconditional sender and recipient untraceability. Journal of Cryptology, 65\u201375 (1988)","key":"25_CR2","DOI":"10.1007\/BF00206326"},{"issue":"2","key":"25_CR3","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/0890-5401(90)90014-9","volume":"88","author":"C. Dwork","year":"1990","unstructured":"Dwork, C., Moses, Y.: Knowledge and common knowledge in a Byzantine environment: crash failures. Information and Computation\u00a088(2), 156\u2013186 (1990)","journal-title":"Information and Computation"},{"key":"25_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-27813-9_41","volume-title":"Computer Aided Verification","author":"P. Gammie","year":"2004","unstructured":"Gammie, P., van der Meyden, R.: MCK: Model checking the logic of knowledge. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 479\u2013483. Springer, Heidelberg (2004)"},{"unstructured":"Goel, S., Robson, M., Polte, M., Sirer, E.: Herbivore: A scalable and efficient protocol for anonymous communication. Technical report, Cornell University, Ithaca, NY (February 2003)","key":"25_CR6"},{"key":"25_CR7","first-page":"129","volume-title":"PODS 1987: Proc. 6th ACM Symp. on Principles of Database Systems","author":"V. Hadzilacos","year":"1987","unstructured":"Hadzilacos, V.: A knowledge-theoretic analysis of atomic commitment protocols. In: PODS 1987: Proc. 6th ACM Symp. on Principles of Database Systems, pp. 129\u2013134. ACM, New York (1987)"},{"doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., O\u2019Neill, K.R.: Anonymity and information hiding in multiagent systems. In: Proc. 16th IEEE Computer Security Foundations Workshop, pp. 75\u201388 (2003)","key":"25_CR8","DOI":"10.1109\/CSFW.2003.1212706"},{"issue":"3","key":"25_CR9","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1145\/146637.146638","volume":"39","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Zuck, L.D.: A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols. Journal of the ACM\u00a039(3), 449\u2013478 (1992)","journal-title":"Journal of the ACM"},{"issue":"1","key":"25_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.3233\/JCS-2004-12102","volume":"12","author":"D. Hughes","year":"2004","unstructured":"Hughes, D., Shmatikov, V.: Information hiding, anonymity and privacy: a modular approach. Journal of Computer Security\u00a012(1), 3\u201336 (2004)","journal-title":"Journal of Computer Security"},{"key":"25_CR11","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"25_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"682","DOI":"10.1007\/978-3-642-02658-4_55","volume-title":"CAV 2009","author":"A. Lomuscio","year":"2009","unstructured":"Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: A model checker for the verification of multi-agent systems. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 682\u2013688. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Luo, X., Su, K., Gu, M., Wu, L., Yang, J.: Symbolic model checking the knowledge in Herbivore protocol. In: van der Meyden, R., Smaus, G. (eds.) MoChArt 2010: 6th Int. Workshop on Model Checking and Artificial Intelligence, LNCS. Springer, Hiedelberg (2010) (to appear), AAAI Working Notes","key":"25_CR13","DOI":"10.1007\/978-3-642-20674-0_8"},{"unstructured":"Nhu, L.L.V.: Enhancing an epsitemic logic model checker for application to extensions of the dining cryptographers protocol. Honours thesis, School of Computer Science and Engineering, University of New South Wales (November 2005)","key":"25_CR14"},{"key":"25_CR15","volume-title":"The modelling and analysis of security protocols: the CSP approach","author":"P. Ryan","year":"2000","unstructured":"Ryan, P., Schneider, S.: The modelling and analysis of security protocols: the CSP approach. Addison-Wesley Professional, Reading (2000)"},{"key":"25_CR16","first-page":"198","volume-title":"Proc. of the European Symposium on Research in Computer Security (ESORICS)","author":"S. Schneider","year":"1996","unstructured":"Schneider, S., Sidiropoulos, A.: CSP and anonymity. In: Proc. of the European Symposium on Research in Computer Security (ESORICS), pp. 198\u2013218. Springer, Heidelberg (1996)"},{"doi-asserted-by":"crossref","unstructured":"Syverson, P., Stubblebine, S.: Group principals and the formalization of anonymity. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999, Part I. LNCS, vol.\u00a01708, pp. 814\u2013833. Springer, Heidelberg (1999)","key":"25_CR17","DOI":"10.1007\/3-540-48119-2_45"},{"key":"25_CR18","first-page":"280","volume-title":"Proc. 17th IEEE Computer Security Foundation Workshop","author":"R. Meyden van der","year":"2004","unstructured":"van der Meyden, R., Su, K.: Symbolic model checking the knowledge of the dining cryptographers. In: Proc. 17th IEEE Computer Security Foundation Workshop, pp. 280\u2013291. IEEE Computer Society, Los Alamitos (2004)"},{"unstructured":"van Eijck, J.: Dynamic epistemic modelling. Technical report, Centrum voor Wiskunde en Informatica, Amsterdam (2004), CWI Report SEN-E0424","key":"25_CR19"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Security and Privacy in Communication Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16161-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T07:05:38Z","timestamp":1740726338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16161-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642161605","9783642161612"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16161-2_25","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2010]]}}}