{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:20:33Z","timestamp":1725618033025},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642241291"},{"type":"electronic","value":"9783642241307"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24130-7_16","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T03:08:06Z","timestamp":1317870486000},"page":"220-232","source":"Crossref","is-referenced-by-count":4,"title":["Game Semantics for the Geiger-Paz-Pearl Axioms of Independence"],"prefix":"10.1007","author":[{"given":"Pavel","family":"Naumov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brittany","family":"Nicholls","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Moivre, Abraham, de. In: The New Encyclop\u00e6dia Britannica, 15th edn., vol.\u00a08, p.226. Encyclop\u00e6dia Britannica (1998)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"de Moivre, A.: De mensura sortis seu; de probabilitate eventuum in ludis a casu fortuito pendentibus. Philosophical Transactions (1683-1775)\u00a027, 213\u2013264 (1711)","DOI":"10.1098\/rstl.1710.0018"},{"key":"16_CR3","unstructured":"de Moivre, A.: Doctrine of Chances (1718)"},{"issue":"1","key":"16_CR4","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/0890-5401(91)90077-F","volume":"91","author":"D. Geiger","year":"1991","unstructured":"Geiger, D., Paz, A., Pearl, J.: Axioms and algorithms for inferences involving probabilistic independence. Inform. and Comput.\u00a091(1), 128\u2013141 (1991)","journal-title":"Inform. and Comput."},{"key":"16_CR5","first-page":"377","volume-title":"Transactions of the 11th Prague Conference on Information Theory, Statistical Decision Functions and Random Processes","author":"M. Studen\u00fd","year":"1990","unstructured":"Studen\u00fd, M.: Conditional independence relations have no finite complete characterization. In: Transactions of the 11th Prague Conference on Information Theory, Statistical Decision Functions and Random Processes, vol.\u00a0B, pp. 377\u2013396. Kluwer, Dordrecht (1990)"},{"key":"16_CR6","unstructured":"Sutherland, D.: A model of information. In: Proceedings of Ninth National Computer Security Conference, pp. 175\u2013183 (1986)"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s11225-010-9223-0","volume":"94","author":"S. Miner More","year":"2010","unstructured":"Miner More, S., Naumov, P.: An independence relation for sets of secrets. Studia Logica\u00a094(1), 73\u201385 (2010)","journal-title":"Studia Logica"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Cohen, E.: Information transmission in computational systems. In: Proceedings of Sixth ACM Symposium on Operating Systems Principles, Association for Computing Machinery, pp. 113\u2013139 (1977)","DOI":"10.1145\/800214.806556"},{"issue":"1","key":"16_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1410234.1410239","volume":"12","author":"J.Y. Halpern","year":"2008","unstructured":"Halpern, J.Y., O\u2019Neill, K.R.: Secrecy in multiagent systems. ACM Trans. Inf. Syst. Secur.\u00a012(1), 1\u201347 (2008)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1145\/1562814.1562843","volume-title":"Proceedings of 12th Conference on Theoretical Aspects of Rationality and Knowledge","author":"S. Miner More","year":"2009","unstructured":"Miner More, S., Naumov, P.: On interdependence of secrets in collaboration networks. In: Proceedings of 12th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 208\u2013217. Stanford University, Stanford (2009)"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-20920-8_13","volume-title":"Proceedings of 18th Workshop on Logic, Language, Information and Computation","author":"M. Donders","year":"2011","unstructured":"Donders, M., More, S.M., Naumov, P.: Information flow on directed acyclic graphs. In: Beklemishev, L., de Queiroz, R. (eds.) Proceedings of 18th Workshop on Logic, Language, Information and Computation, Philadelphia, United States, pp. 95\u2013109. Springer, Heidelberg (2011)"},{"key":"16_CR12","series-title":"LNCS(LNAI)","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-14977-1_5","volume-title":"Computational Logic in Multi-Agent Systems","author":"S. Miner More","year":"2010","unstructured":"Miner More, S., Naumov, P.: Hypergraphs of multiparty secrets. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS(LNAI), vol.\u00a06245, pp. 15\u201332. Springer, Heidelberg (2010)"},{"key":"16_CR13","unstructured":"Miner More, S., Naumov, P., Sapp, B.: Concurrency semantics for the Geiger-Paz-Pearl axioms of independence. In: 20th Conference on Computer Science Logic (CSL 2011), Bergen, Norway (to appear, September 2011)"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"E.W. Dijkstra","year":"1971","unstructured":"Dijkstra, E.W.: Hierarchical ordering of sequential processes. Acta Inf.\u00a01, 115\u2013138 (1971)","journal-title":"Acta Inf."}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24130-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T03:41:15Z","timestamp":1560742875000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24130-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642241291","9783642241307"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24130-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}